93176f2b |
1 | #!/usr/bin/pagsh.openafs |
2 | |
3 | # This script should go in /etc/init.d/ on Debian Linux systems running Domtool dispatchers. |
4 | |
5 | SELF=$(cd $(dirname $0); pwd -P)/$(basename $0) |
6 | PIDFILE="/var/run/k5start-domtool-server.pid" |
7 | |
8 | set -e |
9 | |
10 | case $1 in |
11 | start) |
12 | # Start daemon |
13 | echo -n "Starting Domtool dispatcher: domtool-server" |
14 | if sudo -u domtool domtool-admin-sudo ping; then |
15 | echo "...already running." |
16 | else |
17 | start-stop-daemon --start --pidfile $PIDFILE \ |
18 | -c domtool:domtool \ |
19 | --exec /usr/bin/k5start -- -b -f /etc/keytabs/domtool.keytab \ |
20 | -K 300 -t -p $PIDFILE \ |
21 | domtool/deleuze.hcoop.net \ |
22 | domtool-server-logged |
23 | echo "." |
24 | fi |
25 | ;; |
26 | |
27 | stop) |
28 | echo -n "Stopping Domtool dispatcher: domtool-server" |
29 | if sudo -u domtool domtool-admin-sudo shutdown; then |
30 | echo "." |
31 | else |
32 | start-stop-daemon --stop --pidfile $PIDFILE |
33 | echo "." |
34 | fi |
35 | rm -f $PIDFILE |
36 | ;; |
37 | |
38 | restart|reload|force-reload) |
39 | $SELF stop |
40 | $SELF start |
41 | ;; |
42 | |
43 | status) |
44 | if sudo -u domtool domtool-admin-sudo ping; then |
45 | echo "Domtool dispatcher is running." |
46 | else |
47 | echo "Domtool dispatcher is stopped." |
48 | exit 3 |
49 | fi |
50 | ;; |
51 | |
52 | *) |
53 | echo "Usage: $SELF start|stop|restart|reload|force-reload|status" |
54 | exit 1 |
55 | ;; |
56 | esac |