3 # init.d script for HELM daemons
5 # by --Zack <zack@cs.unibo.it>
6 # Created: Tue, 8 Oct 2002 17:18:17 +0200
7 # Last-Modified: Tue, 8 Oct 2002 17:18:17 +0200
10 if [ -f /etc/default/helm_mowgli ]; then
11 . /etc/default/helm_mowgli
16 start|stop|restart|force-reload|reload)
24 echo "Usage: /etc/init.d/helm { start | stop | restart | force-reload | reload }" >&2
26 if [ -z "$DAEMONS" ]; then
27 echo "Actually, no daemons are considered!"
29 echo "Actually, considered daemons are: $DAEMONS"
31 echo "to change this setting see /etc/default/helm_mowgli"