X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/9f27d58f1ce0833bb5460d7ca612c74f378548a1..62260c5f8627aa2abfd27f7c2e653eb3d900d793:/scripts/domtool-server

diff --git a/scripts/domtool-server b/scripts/domtool-server
new file mode 100755
index 0000000..6d45215
--- /dev/null
+++ b/scripts/domtool-server
@@ -0,0 +1,56 @@
+#!/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