helm/scripts/init.d/helm-tomcat

   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 ]; then
  12   . /etc/default/helm
  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 (helm) ... "
  25     $UWOBO_INIT_SCRIPT > /dev/null
  26     echo "done!"
  27     ;;
  28
  29   stop)
  30     $UWOBO_INIT_SCRIPT --unload > /dev/null
  31     ;;
  32
  33   reload)
  34     $UWOBO_INIT_SCRIPT --reload > /dev/null
  35     ;;
  36
  37   restart)
  38     $UWOBO_INIT_SCRIPT --unload > /dev/null
  39     $UWOBO_INIT_SCRIPT > /dev/null
  40     ;;
  41
  42   *)
  43     echo
  44     echo "Usage: /etc/init.d/helm-tomcat { start | stop | restart | reload }" >&2
  45     echo
  46     exit 1
  47     ;;
  48
  49 esac
  50