Daemon moved to /projects/helm/daemons.

diff --git a/helm/scripts/init.d/helm-proof-checker_mowgli b/helm/scripts/init.d/helm-proof-checker_mowgli
index fac6481386e9290fc13782900cf92c9b7fa52507..00a786c92ccc82dd0dd5fec114d8f6a49a681902 100755 (executable)
--- 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=""