removed tedious "_mowgli" postfix

[helm.git] / helm / scripts / init.d / uwobo_forever.sh

diff --git a/helm/scripts/init.d/uwobo_forever.sh b/helm/scripts/init.d/uwobo_forever.sh
index 0e429d58eaa602b203d84aa80fac2c90e1ed2474..3b8e5d2e8ab69673b02840c17877f50303fe29ee 100755 (executable)
--- 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="/var/run/uwobo_mowgli.pid"
+PIDFILE="/var/run/uwobo.opt.pid"
 
 MAILTO="root@mowgli.cs.unibo.it"
 INTERVAL="60"
@@ -34,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