--- /dev/null
+#!/usr/bin/pagsh.openafs
+
+# This script should go in /etc/init.d/ on Debian Linux systems running Domtool dispatchers.
+
+SELF=$(cd $(dirname $0); pwd -P)/$(basename $0)
+PIDFILE="/var/run/k5start-domtool-server.pid"
+
+set -e
+
+case $1 in
+ start)
+ # Start daemon
+ echo -n "Starting Domtool dispatcher: domtool-server"
+ if sudo -u domtool domtool-admin-sudo ping; then
+ echo "...already running."
+ else
+ start-stop-daemon --start --pidfile $PIDFILE \
+ -c domtool:domtool \
+ --exec /usr/bin/k5start -- -b -f /etc/keytabs/domtool.keytab \
+ -K 300 -t -p $PIDFILE \
+ domtool/deleuze.hcoop.net \
+ domtool-server-logged
+ echo "."
+ fi
+ ;;
+
+ stop)
+ echo -n "Stopping Domtool dispatcher: domtool-server"
+ if sudo -u domtool domtool-admin-sudo shutdown; then
+ echo "."
+ else
+ start-stop-daemon --stop --pidfile $PIDFILE
+ echo "."
+ fi
+ rm -f $PIDFILE
+ ;;
+
+ restart|reload|force-reload)
+ $SELF stop
+ $SELF start
+ ;;
+
+ status)
+ if sudo -u domtool domtool-admin-sudo ping; then
+ echo "Domtool dispatcher is running."
+ else
+ echo "Domtool dispatcher is stopped."
+ exit 3
+ fi
+ ;;
+
+ *)
+ echo "Usage: $SELF start|stop|restart|reload|force-reload|status"
+ exit 1
+ ;;
+esac