| commit | ec38c40a4dc70206e4cf7a4e43362e986555df42 | [log] [tgz] |
|---|---|---|
| author | Anthony Young <sleepsonthefloor@gmail.com> | Thu Nov 10 09:42:28 2011 -0800 |
| committer | Anthony Young <sleepsonthefloor@gmail.com> | Thu Nov 10 09:42:28 2011 -0800 |
| tree | a4ee0d28eb4072b28f6cf1a2c793591792a20e12 | |
| parent | c986b3f8c7cb449646b0f802a6b1b00d70d62f5a [diff] |
do an explicit stop/start
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 @@ done # Restart jenkins -restart jenkins +stop jenkins || true +start jenkins