1 #!/usr/bin/pagsh.openafs
3 # This script should go in /etc/init.d/ on Debian Linux systems
4 # running Domtool dispatchers.
6 SELF=$(cd $(dirname $0); pwd -P)/$(basename $0)
7 PIDFILE="/var/run/domtool/k5start-server.pid"
13 echo -n "Starting Domtool dispatcher: domtool-server"
14 if sudo -u domtool domtool-admin-sudo ping; then
15 echo "...already running."
17 PIDDIR=$(dirname "$PIDFILE")
18 if test ! -d "$PIDDIR"; then
20 chown domtool:domtool $PIDDIR
23 start-stop-daemon --start --pidfile $PIDFILE \
25 --exec /usr/bin/k5start -- -U -b \
26 -f /etc/keytabs/domtool \
27 -K 300 -t -p $PIDFILE \
34 echo -n "Stopping Domtool dispatcher: domtool-server"
35 if sudo -u domtool domtool-admin-sudo shutdown; then
38 start-stop-daemon --stop --pidfile $PIDFILE
44 restart|reload|force-reload)
45 set +e; $SELF stop; set -e
50 if sudo -u domtool domtool-admin-sudo ping; then
51 echo "Domtool dispatcher is running."
53 echo "Domtool dispatcher is stopped."
59 echo "Usage: $SELF start|stop|restart|reload|force-reload|status"