X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fscripts%2Finit.d%2Fuwobo_forever.sh;h=3b8e5d2e8ab69673b02840c17877f50303fe29ee;hp=a7985c464b27500ea54d0fd6a581663d2e83d509;hb=cbcedd8ea841d69bf2f743730c0d4d511bbcb58c;hpb=6dc5a75359bd858a997c6f190e35e3c048bf7197

diff --git a/helm/scripts/init.d/uwobo_forever.sh b/helm/scripts/init.d/uwobo_forever.sh
index a7985c464..3b8e5d2e8 100755
--- a/helm/scripts/init.d/uwobo_forever.sh
+++ b/helm/scripts/init.d/uwobo_forever.sh
@@ -14,7 +14,7 @@ exit 0
 
 # Warning: $PIDFILE value is shared by UWOBO /etc/init.d script, change at your
 # own risk
-PIDFILE="/var/run/uwobo.opt_mowgli.pid"
+PIDFILE="/var/run/uwobo.opt.pid"
 
 MAILTO="root@mowgli.cs.unibo.it"
 INTERVAL="60"
@@ -38,7 +38,7 @@ uwobo_is_alive ()
 # start uwobo
 start_uwobo ()
 {
-   /etc/init.d/helm-uwobo_mowgli start &
+   /etc/init.d/helm-uwobo start &
 }
 
 # first check