--- /dev/null
+#!/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=""
+if [ -f /etc/default/helm ]; then
+ . /etc/default/helm
+fi
+test -x "$UWOBO_INIT_SCRIPT" || exit 0
+
+case "$1" in
+
+ start)
+ echo -n "Loading UWOBO stylesheets (mowgli) ... "
+ $UWOBO_INIT_SCRIPT $UWOBO_PANEL_CONF > /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 $UWOBO_PANEL_CONF > /dev/null
+ $UWOBO_INIT_SCRIPT --unload $NUPRL_UWOBO_PANEL_CONF > /dev/null
+ ;;
+
+ reload)
+ $UWOBO_INIT_SCRIPT --reload $UWOBO_PANEL_CONF > /dev/null
+ $UWOBO_INIT_SCRIPT --reload $NUPRL_UWOBO_PANEL_CONF > /dev/null
+ ;;
+
+ restart)
+ $UWOBO_INIT_SCRIPT --unload $UWOBO_PANEL_CONF > /dev/null
+ $UWOBO_INIT_SCRIPT --unload $NUPRL_UWOBO_PANEL_CONF > /dev/null
+ $UWOBO_INIT_SCRIPT $UWOBO_PANEL_CONF > /dev/null
+ $UWOBO_INIT_SCRIPT $NUPRL_UWOBO_PANEL_CONF > /dev/null
+ ;;
+
+ *)
+ echo
+ echo "Usage: /etc/init.d/helm-uwobo-stylesheets { start | stop | restart | reload }" >&2
+ echo
+ exit 1
+ ;;
+
+esac
+