do an explicit stop/start

sleepsonthefloor · sleepsonthefloor · commit ec38c40a4dc7 · 2011-11-10T09:42:28.000-08:00
diff --git 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
