+#!/bin/sh
+#
+# init.d script for HELM daemons
+#
+# by --Zack <zack@cs.unibo.it>
+# Created: Wed, 9 Oct 2002 14:26:27 +0200
+# Last-Modified: Wed, 9 Oct 2002 14:26:27 +0200
+
+UWOBO_INIT_SCRIPT=""
+ENVSCRIPT=""
+if [ -f /etc/default/helm ]; then
+ . /etc/default/helm
+fi
+test -x "$UWOBO_INIT_SCRIPT" || exit 0
+if ! [ -f "$ENVSCRIPT" ]; then
+ echo "Can't find environment script '$ENVSCRIPT'"
+ exit 1
+fi
+. $ENVSCRIPT &> /dev/null
+
+case "$1" in
+
+ start)
+ $UWOBO_INIT_SCRIPT > /dev/null
+ ;;
+
+ stop)
+ $UWOBO_INIT_SCRIPT --unload > /dev/null
+ ;;
+
+ reload)
+ $UWOBO_INIT_SCRIPT --reload > /dev/null
+ ;;
+
+ restart)
+ $UWOBO_INIT_SCRIPT --unload > /dev/null
+ $UWOBO_INIT_SCRIPT > /dev/null
+ ;;
+
+ *)
+ echo
+ echo "Usage: /etc/init.d/helm-tomcat { start | stop | restart | reload }" >&2
+ echo
+ exit 1
+ ;;
+
+esac
+