]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/init.d/helm-uwobo_mowgli
bumped version (tag soon)
[helm.git] / helm / scripts / init.d / helm-uwobo_mowgli
index a6b0bcc314c1c4f343070cbd58e72b3d371f88f3..b3ac8431ae7ea2552b5c11417f7c0e6dc36d7e9b 100755 (executable)
@@ -22,7 +22,7 @@ fi
 
 NAME=`basename $DAEMON`
 # Warning: $PIDFILE value is shared by UWOBO respawner, change at your own risk
-PIDFILE=/projects/helm/run/"$NAME"_mowgli.pid
+PIDFILE=/var/run/"$NAME"_mowgli.pid
 
 do_start () {
   echo -n "Starting $DAEMON ... "