helm/scripts/init.d/helm-uwobo-stylesheets

   1 #!/bin/sh
   2 #
   3 # init.d script for HELM daemons
   4 #
   5 # by --Zack <zack@cs.unibo.it>
   6 # Created: Wed,  9 Oct 2002 14:26:27 +0200
   7 # Last-Modified: Wed,  9 Oct 2002 14:26:27 +0200
   8
   9 UWOBO_INIT_SCRIPT=""
  10 if [ -f /etc/default/helm ]; then
  11   . /etc/default/helm
  12 fi
  13 test -x "$UWOBO_INIT_SCRIPT" || exit 0
  14
  15 case "$1" in
  16
  17   start)
  18     echo -n "Loading UWOBO stylesheets (mowgli) ... "
  19     $UWOBO_INIT_SCRIPT $UWOBO_PANEL_CONF > /dev/null
  20     echo "done!"
  21     echo -n "Loading UWOBO stylesheets (mowgli NuPRL) ... "
  22     $UWOBO_INIT_SCRIPT $NUPRL_UWOBO_PANEL_CONF > /dev/null
  23     echo "done!"
  24     ;;
  25
  26   stop)
  27     $UWOBO_INIT_SCRIPT --unload $UWOBO_PANEL_CONF > /dev/null
  28     $UWOBO_INIT_SCRIPT --unload $NUPRL_UWOBO_PANEL_CONF > /dev/null
  29     ;;
  30
  31   reload)
  32     $UWOBO_INIT_SCRIPT --reload $UWOBO_PANEL_CONF > /dev/null
  33     $UWOBO_INIT_SCRIPT --reload $NUPRL_UWOBO_PANEL_CONF > /dev/null
  34     ;;
  35
  36   restart)
  37     $UWOBO_INIT_SCRIPT --unload $UWOBO_PANEL_CONF > /dev/null
  38     $UWOBO_INIT_SCRIPT --unload $NUPRL_UWOBO_PANEL_CONF > /dev/null
  39     $UWOBO_INIT_SCRIPT $UWOBO_PANEL_CONF > /dev/null
  40     $UWOBO_INIT_SCRIPT $NUPRL_UWOBO_PANEL_CONF > /dev/null
  41     ;;
  42
  43   *)
  44     echo
  45     echo "Usage: /etc/init.d/helm-uwobo-stylesheets { start | stop | restart | reload }" >&2
  46     echo
  47     exit 1
  48     ;;
  49
  50 esac
  51