From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 20 Jan 2004 08:38:35 +0000 (+0000)
Subject: /projects/helm/run/*_mowgli.pid moved into /var/run
X-Git-Tag: V_0_5_1_3~15
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d6e74a36ba8d9ff712e7305566858d8910a4be23;p=helm.git

/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 41a2af838..fc24432d2 100755
--- 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 7d77cd478..8f052c9b3 100755
--- 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 7c8dfa8b5..1813bb8f9 100755
--- 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 00a786c92..0c6822653 100755
--- 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 e9fe47953..9e129049a 100755
--- 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 6b7d17f07..14a9e30a9 100755
--- 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 a6b0bcc31..b3ac8431a 100755
--- 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 5c5a57bb1..0e429d58e 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="/projects/helm/run/uwobo_mowgli.pid"
+PIDFILE="/var/run/uwobo_mowgli.pid"
 
 MAILTO="root@mowgli.cs.unibo.it"
 INTERVAL="60"