From 7bbd17ae8ff97bc1a5f93d9e2baa28fd671b1168 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 18 Feb 2004 16:42:34 +0000 Subject: [PATCH] uwobo ==> uwobo.opt --- helm/scripts/init.d/uwobo_forever.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/scripts/init.d/uwobo_forever.sh b/helm/scripts/init.d/uwobo_forever.sh index 0e429d58e..cdebb64ea 100755 --- 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" -- 2.39.2