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

diff --git a/helm/scripts/init.d/uwobo_forever.sh b/helm/scripts/init.d/uwobo_forever.sh
index 5c5a57bb1..a7985c464 100755
--- a/helm/scripts/init.d/uwobo_forever.sh
+++ b/helm/scripts/init.d/uwobo_forever.sh
@@ -1,4 +1,8 @@
 #!/bin/sh
+
+# THIS SCRIPT IS DEPRECATED, USE daemon_respawner.sh INSTEAD
+exit 0
+
 #
 # respawner for UWOBO (http://helm.cs.unibo.it/software/uwobo)
 #
@@ -10,7 +14,7 @@
 
 # Warning: $PIDFILE value is shared by UWOBO /etc/init.d script, change at your
 # own risk
-PIDFILE="/projects/helm/run/uwobo_mowgli.pid"
+PIDFILE="/var/run/uwobo.opt_mowgli.pid"
 
 MAILTO="root@mowgli.cs.unibo.it"
 INTERVAL="60"