uwobo ==> uwobo.opt

diff --git a/helm/scripts/init.d/uwobo_forever.sh b/helm/scripts/init.d/uwobo_forever.sh
index 0e429d58eaa602b203d84aa80fac2c90e1ed2474..cdebb64eae7bed10c69857d41896f79a9df26fac 100755 (executable)
--- 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"