# 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=""