use /etc/init.d/jenkins to start/stop server
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 @@
 done
 
 # Restart jenkins
-stop jenkins || true
-start jenkins
+/etc/init.d/jenkins stop || true
+/etc/init.d/jenkins start