From 65299878c75122af312ee87e5dde37bc8b178e0e Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 19 Jan 2004 12:41:15 +0000 Subject: [PATCH] Daemon moved to /projects/helm/daemons. --- helm/scripts/init.d/helm-proof-checker_mowgli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/scripts/init.d/helm-proof-checker_mowgli b/helm/scripts/init.d/helm-proof-checker_mowgli index fac648138..00a786c92 100755 --- a/helm/scripts/init.d/helm-proof-checker_mowgli +++ b/helm/scripts/init.d/helm-proof-checker_mowgli @@ -6,7 +6,7 @@ # Created: Wed, 9 Oct 2002 11:12:01 +0200 # Last-Modified: Wed, 13 Nov 2002 18:30:39 +0100 -DAEMON=/projects/helm/proofChecker_mowgli/proofChecker.opt +DAEMON=/projects/helm/daemons/proofChecker/proofChecker.opt USAGE="Usage: /etc/init.d/helm-proof-checker { start | stop | restart }" ENVSCRIPT="" -- 2.39.2