Wednesday, 7 September 2011

/etc/init.d/jenkins


#!/sbin/runscript

depend() {
use net dns logger
}

checkconfig() {
return 0
}

start() {
checkconfig || return $?
ebegin "Starting jenkins"
start-stop-daemon --start --background --user dev --env JENKINS_HOME=/var/lib/jenkins \
--make-pidfile --pidfile /var/run/jenkins.pid \
--startas /usr/bin/java -- -jar /usr/share/jenkins.war --httpPort=8014 --prefix=/jenkins
eend $? "Failed to start jenkins"
}

stop() {
ebegin "Stopping jenkins"
start-stop-daemon --stop --background --user dev --env JENKINS_HOME=/var/lib/jenkins \
--make-pidfile --pidfile /var/run/jenkins.pid \
--startas /usr/bin/java -- -jar /usr/share/jenkins.war --httpPort=8014 --prefix=/jenkins
eend $? "Failed to stop jenkins"
}

0 comments: