From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 8 Apr 2003 08:21:20 +0000 (+0000)
Subject: kill instances of uwobo_forever.sh on stop
X-Git-Tag: before_refactoring~29
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=6958ec3406c687e19c7a866b5cb64455359e07f2

kill instances of uwobo_forever.sh on stop
---

diff --git a/helm/scripts/init.d/helm-uwobo_mowgli b/helm/scripts/init.d/helm-uwobo_mowgli
index 3861c7689..888b4391b 100755
--- a/helm/scripts/init.d/helm-uwobo_mowgli
+++ b/helm/scripts/init.d/helm-uwobo_mowgli
@@ -44,9 +44,13 @@ do_start () {
 }
 
 do_stop () {
-  echo "Stopping $DAEMON ..."
+  echo -n "Stopping $DAEMON ... "
   start-stop-daemon --stop --pidfile $PIDFILE && \
   (if [ -f $PIDFILE ]; then rm -f $PIDFILE; else true; fi)
+  echo "done!"
+  echo -n "Stopping UWOBO respawner (uwobo_forever.sh) ... "
+  killall `basename $UWOBO_FOREVER`
+  echo "done!"
 }
 
 case "$1" in