--- /dev/null
+#!/bin/sh
+#
+# respawner for UWOBO (http://helm.cs.unibo.it/software/uwobo)
+#
+# by --Zack <zack@cs.unibo.it>
+#
+# 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 <subject> <body>
+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
+
projects / helm.git / commitdiff