From: Claudio Sacerdoti Coen 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"