autogenerate config.sml if it does not exist

[hcoop/domtool2.git] / scripts / domtool-server

#!/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)
	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 -- -U -b \
			-f /etc/keytabs/domtool.`hostname` \
			-K 300 -t -p $PIDFILE \
			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