diff options
| author | Sven Gothel <[email protected]> | 2018-12-11 00:27:47 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2018-12-11 00:27:47 +0100 |
| commit | 1dc3a5f7aa3d567f9f1a70dc2bfba1442b45010f (patch) | |
| tree | 9ffbf3cf499ab97c4c27b1dfb6c7da6edeb93195 | |
| parent | 3f953c5bb8d1f8ec579ee648225553e62f38a726 (diff) | |
jenkins server needs to pre-seed agent.jar to launch node on master
| -rwxr-xr-x | jenkins-server-slave-setup/scripts/start.jenkins.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/jenkins-server-slave-setup/scripts/start.jenkins.sh b/jenkins-server-slave-setup/scripts/start.jenkins.sh index 63cd3c3..5e0da0d 100755 --- a/jenkins-server-slave-setup/scripts/start.jenkins.sh +++ b/jenkins-server-slave-setup/scripts/start.jenkins.sh @@ -18,3 +18,6 @@ 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 & +#pre-seed current version of agent.jar +curl -s -o $JENKINS_HOME/war/agent.jar https://jogamp.org/chuck/jnlpJars/agent.jar + |