From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 19 Jan 2004 12:41:15 +0000 (+0000)
Subject: Daemon moved to /projects/helm/daemons.
X-Git-Tag: V_0_5_1_3~26
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=65299878c75122af312ee87e5dde37bc8b178e0e;p=helm.git

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