#!/bin/sh
+
+# THIS SCRIPT IS DEPRECATED, USE daemon_respawner.sh INSTEAD
+exit 0
+
#
# respawner for UWOBO (http://helm.cs.unibo.it/software/uwobo)
#
# 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"