#!/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_mowgli ]; then
  . /etc/default/helm_mowgli
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)
    echo -n "Loading UWOBO stylesheets (mowgli) ... "
    $UWOBO_INIT_SCRIPT > /dev/null
    echo "done!"
    echo -n "Loading UWOBO stylesheets (mowgli NuPRL) ... "
    $UWOBO_INIT_SCRIPT $NUPRL_UWOBO_PANEL_CONF > /dev/null
    echo "done!"
    ;;

  stop)
    $UWOBO_INIT_SCRIPT --unload > /dev/null
    $UWOBO_INIT_SCRIPT --unload $NUPRL_UWOBO_PANEL_CONF > /dev/null
    ;;

  reload)
    $UWOBO_INIT_SCRIPT --reload > /dev/null
    $UWOBO_INIT_SCRIPT --reload $NUPRL_UWOBO_PANEL_CONF > /dev/null
    ;;

  restart)
    $UWOBO_INIT_SCRIPT --unload > /dev/null
    $UWOBO_INIT_SCRIPT --unload $NUPRL_UWOBO_PANEL_CONF > /dev/null
    $UWOBO_INIT_SCRIPT > /dev/null
    $UWOBO_INIT_SCRIPT $NUPRL_UWOBO_PANEL_CONF > /dev/null
    ;;

  *)
    echo
    echo "Usage: /etc/init.d/helm-tomcat_mowgli { start | stop | restart | reload }" >&2
    echo
    exit 1
    ;;

esac