/projects/helm/run/*_mowgli.pid moved into /var/run

diff --git a/helm/scripts/init.d/helm-bootmisc_mowgli.sh b/helm/scripts/init.d/helm-bootmisc_mowgli.sh
index 41a2af838c187f69cdde475cd4fe155df111d061..fc24432d216b457e22a0845f14daebc515af8743 100755 (executable)
--- a/helm/scripts/init.d/helm-bootmisc_mowgli.sh
+++ b/helm/scripts/init.d/helm-bootmisc_mowgli.sh
@@ -6,7 +6,7 @@ if [ -f /etc/default/helm_mowgli ]; then
 fi
 
 # clean pid file for helm related daemons
-( cd /projects/helm/run/ && rm -f *.pid )
+( cd /var/run/ && rm -f *_mowgli.pid )
 
 # create http_getter cache dirs
 for d in $HTTP_GETTER_CACHE_DIRS; do

diff --git a/helm/scripts/init.d/helm-draw-graph_mowgli b/helm/scripts/init.d/helm-draw-graph_mowgli
index 7d77cd47826022717228eb19989a15094c7e8f8b..8f052c9b31b6f40ed7c7cf2bed8db01beffa0af4 100755 (executable)
--- a/helm/scripts/init.d/helm-draw-graph_mowgli
+++ b/helm/scripts/init.d/helm-draw-graph_mowgli
@@ -20,7 +20,7 @@ fi
 . $ENVSCRIPT &> /dev/null
 
 NAME=`basename $DAEMON`
-PIDFILE=/projects/helm/run/"$NAME"_mowgli.pid
+PIDFILE=/var/run/"$NAME"_mowgli.pid
 
 do_start () {
   echo "Starting $DAEMON ..."

diff --git a/helm/scripts/init.d/helm-http-getter_mowgli b/helm/scripts/init.d/helm-http-getter_mowgli
index 7c8dfa8b53a194666272a028bddc3ad656dc4dfe..1813bb8f97c2c79fbbb45649916bae8f0ebfd1dd 100755 (executable)
--- a/helm/scripts/init.d/helm-http-getter_mowgli
+++ b/helm/scripts/init.d/helm-http-getter_mowgli
@@ -20,7 +20,7 @@ fi
 . $ENVSCRIPT &> /dev/null
 
 NAME=`basename $DAEMON`
-PIDFILE=/projects/helm/run/"$NAME"_mowgli.pid
+PIDFILE=/var/run/"$NAME"_mowgli.pid
 
 do_start () {
   echo "Starting $DAEMON ..."

diff --git a/helm/scripts/init.d/helm-proof-checker_mowgli b/helm/scripts/init.d/helm-proof-checker_mowgli
index 00a786c92ccc82dd0dd5fec114d8f6a49a681902..0c6822653dc9a757b1a8e582b7a13dff7feee91f 100755 (executable)
--- a/helm/scripts/init.d/helm-proof-checker_mowgli
+++ b/helm/scripts/init.d/helm-proof-checker_mowgli
@@ -20,7 +20,7 @@ fi
 . $ENVSCRIPT &> /dev/null
 
 NAME=`basename $DAEMON`
-PIDFILE=/projects/helm/run/"$NAME"_mowgli.pid
+PIDFILE=/var/run/"$NAME"_mowgli.pid
 
 do_start () {
   echo "Starting $DAEMON ..."

diff --git a/helm/scripts/init.d/helm-search-engine_mowgli b/helm/scripts/init.d/helm-search-engine_mowgli
index e9fe479533ac4b0a042ed3470a785e7d6f32de00..9e129049a288ddd3d77b135d4cd29e3fb4af96b5 100755 (executable)
--- a/helm/scripts/init.d/helm-search-engine_mowgli
+++ b/helm/scripts/init.d/helm-search-engine_mowgli
@@ -20,7 +20,7 @@ fi
 . $ENVSCRIPT &> /dev/null
 
 NAME=`basename $DAEMON`
-PIDFILE=/projects/helm/run/"$NAME"_mowgli.pid
+PIDFILE=/var/run/"$NAME"_mowgli.pid
 
 do_start () {
   echo -n "Starting $DAEMON ... "

diff --git a/helm/scripts/init.d/helm-uri-set-queue_mowgli b/helm/scripts/init.d/helm-uri-set-queue_mowgli
index 6b7d17f0755f68201bced1bcaa6488759c0f9af8..14a9e30a9bd5f7106273083fedeebc051175a574 100755 (executable)
--- a/helm/scripts/init.d/helm-uri-set-queue_mowgli
+++ b/helm/scripts/init.d/helm-uri-set-queue_mowgli
@@ -20,7 +20,7 @@ fi
 . $ENVSCRIPT &> /dev/null
 
 NAME=`basename $DAEMON`
-PIDFILE=/projects/helm/run/"$NAME"_mowgli.pid
+PIDFILE=/var/run/"$NAME"_mowgli.pid
 
 do_start () {
   echo "Starting $DAEMON ..."

diff --git a/helm/scripts/init.d/helm-uwobo_mowgli b/helm/scripts/init.d/helm-uwobo_mowgli
index a6b0bcc314c1c4f343070cbd58e72b3d371f88f3..b3ac8431ae7ea2552b5c11417f7c0e6dc36d7e9b 100755 (executable)
--- a/helm/scripts/init.d/helm-uwobo_mowgli
+++ b/helm/scripts/init.d/helm-uwobo_mowgli
@@ -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 ... "

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