diff options
| author | Sven Gothel <[email protected]> | 2019-08-16 16:19:23 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2019-08-16 16:19:23 +0200 |
| commit | 139764dd0bffeb73639487ae60294d4371c0e860 (patch) | |
| tree | cba542a54b0e71dfd3aa8582a632b16d048275b5 /jenkins-server-slave-setup/scripts | |
| parent | 8ffa60577fe2c53282cf1e374426d730d98b7dcb (diff) | |
Misc Updates: Server apache, jenkins; Nodes openjdk11 build (java8 + android-API-24 base)
Diffstat (limited to 'jenkins-server-slave-setup/scripts')
| -rwxr-xr-x | jenkins-server-slave-setup/scripts/start.jenkins.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/jenkins-server-slave-setup/scripts/start.jenkins.sh b/jenkins-server-slave-setup/scripts/start.jenkins.sh index 5905310..12d238f 100755 --- a/jenkins-server-slave-setup/scripts/start.jenkins.sh +++ b/jenkins-server-slave-setup/scripts/start.jenkins.sh @@ -18,11 +18,14 @@ cd $JENKINS_HOME nohup nice $JAVA -server -Xmx1024m -jar $JENKINS_WAR --httpPort=8080 --prefix=/chuck > $JENKINS_LOG 2>&1 & # nohup nice $JAVA -server -Xmx1024m -jar $JENKINS_WAR --httpPort=-1 --httpsPort=8080 --prefix=/chuck > $JENKINS_LOG 2>&1 & -sleep 9s #pre-seed current version of agent.jar +rm -f $JENKINS_HOME/war/agent.jar +sleep 9s curl -s -o $JENKINS_HOME/war/agent.jar https://jogamp.org/chuck/jnlpJars/agent.jar if [ ! -e $JENKINS_HOME/war/agent.jar ] ; then echo failure to copy agent.jar into deflated war folder! +else + ls -la $JENKINS_HOME/war/agent.jar fi |