debian/adorno.init

   1 #! /bin/sh
   2 # $Id: $
   3 #
   4 # An init script for adorno
   5 #
   6 # Witten for adorno by Andrew McMillan <awm@debian.org>
   7
   8 set -e
   9
  10 NAME=adorno
  11
  12 FIFO=/var/run/${NAME}/fifo
  13 DAEMON=/usr/local/sbin/${NAME}
  14 PIDFILE=/var/run/${NAME}/${NAME}.pid
  15
  16 test -x $DAEMON || exit 0
  17
  18 case "$1" in
  19   start)
  20     echo -n "Starting Music Server Daemon: "
  21     if [ ! -p ${FIFO} ] ; then
  22       mknod -m 666 ${FIFO} p
  23     fi
  24     start-stop-daemon --background --start --exec $DAEMON
  25     echo "$NAME."
  26     ;;
  27   stop)
  28     echo -n "Stopping Music Server Daemon: "
  29     start-stop-daemon --stop --oknodo --pidfile ${PIDFILE}
  30     echo "$NAME."
  31     rm ${FIFO} ${PIDFILE}
  32       ;;
  33   restart|reload|force-reload)
  34     echo -n "Restarting Music Server Daemon: "
  35     start-stop-daemon --stop --oknodo --pidfile /var/run/adorno/adorno.pid
  36     sleep 2
  37     echo -n "stopped "
  38     start-stop-daemon --background --start --exec $DAEMON
  39     echo "started $NAME."
  40     ;;
  41   *)
  42     echo "Usage: /etc/init.d/$NAME {start|stop|reload}"
  43     exit 1
  44     ;;
  45 esac
  46
  47 exit 0