do an explicit stop/start

13 years ago · ec38c40a4d
parent c986b3f8c7
commit ec38c40a4d
1 changed files with 2 additions and 1 deletions
--- a/tools/jenkins/jenkins_home/build_jenkins.sh
+++ b/tools/jenkins/jenkins_home/build_jenkins.sh
@ -84,4 +84,5 @@ for plugin in ${PLUGINS//,/ }; do
 done

 # Restart jenkins
-restart jenkins
+stop jenkins || true
+start jenkins