From ec38c40a4dc70206e4cf7a4e43362e986555df42 Mon Sep 17 00:00:00 2001 From: Anthony Young Date: Thu, 10 Nov 2011 09:42:28 -0800 Subject: [PATCH] do an explicit stop/start --- tools/jenkins/jenkins_home/build_jenkins.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/jenkins/jenkins_home/build_jenkins.sh b/tools/jenkins/jenkins_home/build_jenkins.sh index bbba8b0..abbdfd1 100755 --- 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