X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fscripts%2Finit.d%2Fuwobo_forever.sh;fp=helm%2Fscripts%2Finit.d%2Fuwobo_forever.sh;h=0000000000000000000000000000000000000000;hp=5c5a57bb1ec86b7faec3d4f8c472baf293900b3a;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff diff --git a/helm/scripts/init.d/uwobo_forever.sh b/helm/scripts/init.d/uwobo_forever.sh deleted file mode 100755 index 5c5a57bb1..000000000 --- a/helm/scripts/init.d/uwobo_forever.sh +++ /dev/null @@ -1,55 +0,0 @@ -#!/bin/sh -# -# respawner for UWOBO (http://helm.cs.unibo.it/software/uwobo) -# -# by --Zack -# -# Created: Mon, 7 Apr 2003 18:59:56 +0200 zacchiro -# Last-Modified: Tue, 8 Apr 2003 10:06:41 +0200 zacchiro -# - -# Warning: $PIDFILE value is shared by UWOBO /etc/init.d script, change at your -# own risk -PIDFILE="/projects/helm/run/uwobo_mowgli.pid" - -MAILTO="root@mowgli.cs.unibo.it" -INTERVAL="60" - -# Usage: alert -alert () -{ - echo "$2" | mail -s "$1" $MAILTO -} - -# check if uwobo is still alive -uwobo_is_alive () -{ - if [ -r "$PIDFILE" ]; then - ps `cat $PIDFILE` &> /dev/null - else # no pid file found, uwobo has been shutdown nicely - exit 0 - fi -} - -# start uwobo -start_uwobo () -{ - /etc/init.d/helm-uwobo_mowgli start & -} - -# first check -if ! uwobo_is_alive; then - alert "UWOBO failed to start :-((" "UWOBO died during initialization :-((, enjoy debugging! :-P. Cheers." - exit 0 -fi - -# continuous checks -while true; do - sleep $INTERVAL - if ! uwobo_is_alive; then - alert "UWOBO died :-(, restarting it ..." "UWOBO died miserably :-(. I'm going to try restarting it, you will receive an additional mail in case of failure. Cheers." - start_uwobo # performed in background - exit 0 - fi -done -