diff options
Diffstat (limited to 'jenkins-server-slave-setup/scripts/jenkins-initd-redhat')
-rwxr-xr-x | jenkins-server-slave-setup/scripts/jenkins-initd-redhat | 74 |
1 files changed, 74 insertions, 0 deletions
diff --git a/jenkins-server-slave-setup/scripts/jenkins-initd-redhat b/jenkins-server-slave-setup/scripts/jenkins-initd-redhat new file mode 100755 index 0000000..6606e94 --- /dev/null +++ b/jenkins-server-slave-setup/scripts/jenkins-initd-redhat @@ -0,0 +1,74 @@ +#! /bin/bash +# +# jenkins Start/Stop the Jenkins Continuous Integration server. +# +# chkconfig: 345 91 10 +# description: Jenkins is a Continuous Integration server. \ +# processname: jenkins +# pidfile: /var/run/jenkins.pid + + +# Source function library. +. /etc/rc.d/init.d/functions + +# Get config. +. /etc/sysconfig/network + +# Check that networking is up. +[ "${NETWORKING}" = "no" ] && exit 0 + +JENKINS_USER=jogamp_ci +JENKINS_HOME=/srv/jenkins +startup=$JENKINS_HOME/scripts/start.jenkins.sh +shutdown=$JENKINS_HOME/scripts/stop.jenkins.sh +export JAVA_HOME=$(readlink -f /usr/bin/javac | sed "s:bin/javac::") + +start(){ + echo -n $"Starting Jenkins service: " + su - $JENKINS_USER -c $startup + RETVAL=$? + echo +} + +stop(){ + action $"Stopping Jenkins service: " + su - $JENKINS_USER -c $shutdown + RETVAL=$? + echo +} + +status(){ + numproc=`ps -ef | grep jenkins.war | grep -v "grep jenkins.war" | wc -l` + if [ $numproc -gt 0 ]; then + echo "Jenkins is running..." + else + echo "Jenkins is stopped..." + fi +} + +restart(){ + stop + start +} + + +# See how we were called. +case "$1" in +start) + start + ;; +stop) + stop + ;; +status) + status + ;; +restart) + restart + ;; +*) + echo $"Usage: $0 {start|stop|status|restart}" + exit 1 +esac + +exit 0 |