From c0d4e678d4bbbdcae1f09ef18319bf4f3c2950ff Mon Sep 17 00:00:00 2001 From: Anthony Young Date: Fri, 11 Nov 2011 13:46:44 -0800 Subject: [PATCH] use /etc/init.d/jenkins to start/stop server --- tools/jenkins/jenkins_home/build_jenkins.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/jenkins/jenkins_home/build_jenkins.sh b/tools/jenkins/jenkins_home/build_jenkins.sh index 2bc856d..9a32a0a 100755 --- 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