#
# by --Zack <zack@cs.unibo.it>
# Created: Tue, 8 Oct 2002 17:18:17 +0200
-# Last-Modified: Wed, 9 Oct 2002 11:12:01 +0200
+# Last-Modified: Wed, 20 Nov 2002 10:50:25 +0100
-DAEMON=/projects/helm/graphs/tools/uri_set_queue.cgi
+#DAEMON=/projects/helm/graphs/tools/uri_set_queue.cgi
+DAEMON=/projects/helm/graphs/tools/uriSetQueue.opt
USAGE="Usage: /etc/init.d/helm-uri-set-queue_mowgli { start | stop | restart }"
ENVSCRIPT=""
. $ENVSCRIPT &> /dev/null
NAME=`basename $DAEMON`
-PIDFILE=/projects/helm/run/$NAME.pid
+PIDFILE=/projects/helm/run/"$NAME"_mowgli.pid
do_start () {
echo "Starting $DAEMON ..."