From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 18 Feb 2004 16:42:34 +0000 (+0000)
Subject: uwobo ==> uwobo.opt
X-Git-Tag: v0_0_4~139
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7bbd17ae8ff97bc1a5f93d9e2baa28fd671b1168;p=helm.git

uwobo ==> uwobo.opt
---

diff --git a/helm/scripts/init.d/uwobo_forever.sh b/helm/scripts/init.d/uwobo_forever.sh
index 0e429d58e..cdebb64ea 100755
--- a/helm/scripts/init.d/uwobo_forever.sh
+++ b/helm/scripts/init.d/uwobo_forever.sh
@@ -10,7 +10,7 @@
 
 # Warning: $PIDFILE value is shared by UWOBO /etc/init.d script, change at your
 # own risk
-PIDFILE="/var/run/uwobo_mowgli.pid"
+PIDFILE="/var/run/uwobo.opt_mowgli.pid"
 
 MAILTO="root@mowgli.cs.unibo.it"
 INTERVAL="60"