use /etc/init.d/jenkins to start/stop server

2011-11-11 13:46:44 -08:00 · 2011-11-11 13:46:44 -08:00 · c0d4e678d4
commit c0d4e678d4
parent 723e2d2246
1 changed files with 2 additions and 2 deletions
--- a/tools/jenkins/jenkins_home/build_jenkins.sh
+++ b/tools/jenkins/jenkins_home/build_jenkins.sh
@ -97,5 +97,5 @@ for plugin in ${PLUGINS//,/ }; do
 done

 # Restart jenkins
-stop jenkins || true
-start jenkins
+/etc/init.d/jenkins stop || true
+/etc/init.d/jenkins start