blob: 6606e94697f77e4dec309e1265a0786b0f16fd1f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
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
|
