From: Claudio Sacerdoti Coen Date: Mon, 19 Jan 2004 12:57:29 +0000 (+0000) Subject: Daemons moved to /projects/helm/daemons. X-Git-Tag: V_0_5_1_3~25 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fad07adebe8551cc93b79bdb78e6a8b9556fc7bb;p=helm.git Daemons moved to /projects/helm/daemons. --- diff --git a/helm/scripts/init.d/helm-draw-graph_mowgli b/helm/scripts/init.d/helm-draw-graph_mowgli index 769cd3f0d..7d77cd478 100755 --- a/helm/scripts/init.d/helm-draw-graph_mowgli +++ b/helm/scripts/init.d/helm-draw-graph_mowgli @@ -6,8 +6,7 @@ # Created: Wed, 9 Oct 2002 11:12:01 +0200 # Last-Modified: Wed, 9 Oct 2002 11:12:01 +0200 -#DAEMON=/projects/helm/graphs/tools/draw_graph.cgi -DAEMON=/projects/helm/graphs/tools/drawGraph.opt +DAEMON=/projects/helm/daemons/graphs/tools/drawGraph.opt USAGE="Usage: /etc/init.d/helm-draw-graph_mowgli { start | stop | restart }" ENVSCRIPT="" diff --git a/helm/scripts/init.d/helm-uri-set-queue_mowgli b/helm/scripts/init.d/helm-uri-set-queue_mowgli index 2a0388068..6b7d17f07 100755 --- a/helm/scripts/init.d/helm-uri-set-queue_mowgli +++ b/helm/scripts/init.d/helm-uri-set-queue_mowgli @@ -6,8 +6,7 @@ # Created: Tue, 8 Oct 2002 17:18:17 +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/uriSetQueue.opt +DAEMON=/projects/helm/daemons/graphs/tools/uriSetQueue.opt USAGE="Usage: /etc/init.d/helm-uri-set-queue_mowgli { start | stop | restart }" ENVSCRIPT=""