diff options
Diffstat (limited to 'jenkins-server-slave-setup/scripts/start.jenkins.sh')
| -rwxr-xr-x | jenkins-server-slave-setup/scripts/start.jenkins.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/jenkins-server-slave-setup/scripts/start.jenkins.sh b/jenkins-server-slave-setup/scripts/start.jenkins.sh index 5e0da0d..5905310 100755 --- a/jenkins-server-slave-setup/scripts/start.jenkins.sh +++ b/jenkins-server-slave-setup/scripts/start.jenkins.sh @@ -18,6 +18,11 @@ 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 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! +fi + |