helm/scripts/init.d/helm-tomcat_mowgli

   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 ENVSCRIPT=""
  11 if [ -f /etc/default/helm_mowgli ]; then
  12   . /etc/default/helm_mowgli
  13 fi
  14 test -x "$UWOBO_INIT_SCRIPT" || exit 0
  15 if ! [ -f "$ENVSCRIPT" ]; then
  16   echo "Can't find environment script '$ENVSCRIPT'"
  17   exit 1
  18 fi
  19 . $ENVSCRIPT &> /dev/null
  20
  21 case "$1" in
  22
  23   start)
  24     echo -n "Loading UWOBO stylesheets (mowgli) ... "
  25     $UWOBO_INIT_SCRIPT > /dev/null
  26     echo "done!"
  27     echo -n "Loading UWOBO stylesheets (mowgli NuPRL) ... "
  28     $UWOBO_INIT_SCRIPT $NUPRL_UWOBO_PANEL_CONF > /dev/null
  29     echo "done!"
  30     ;;
  31
  32   stop)
  33     $UWOBO_INIT_SCRIPT --unload > /dev/null
  34     $UWOBO_INIT_SCRIPT --unload $NUPRL_UWOBO_PANEL_CONF > /dev/null
  35     ;;
  36
  37   reload)
  38     $UWOBO_INIT_SCRIPT --reload > /dev/null
  39     $UWOBO_INIT_SCRIPT --reload $NUPRL_UWOBO_PANEL_CONF > /dev/null
  40     ;;
  41
  42   restart)
  43     $UWOBO_INIT_SCRIPT --unload > /dev/null
  44     $UWOBO_INIT_SCRIPT --unload $NUPRL_UWOBO_PANEL_CONF > /dev/null
  45     $UWOBO_INIT_SCRIPT > /dev/null
  46     $UWOBO_INIT_SCRIPT $NUPRL_UWOBO_PANEL_CONF > /dev/null
  47     ;;
  48
  49   *)
  50     echo
  51     echo "Usage: /etc/init.d/helm-tomcat_mowgli { start | stop | restart | reload }" >&2
  52     echo
  53     exit 1
  54     ;;
  55
  56 esac
  57