scripts/domtool-server

   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