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