X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fscripts%2Finit.d%2Fhelm-uwobo_mowgli;h=888b4391bcb8e484d9f0484fb88981d52087a8a2;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=3861c7689b5d4ce82515049eb596f8fc97b1d22e;hpb=d7af0bea08601069238c9523a3274982681209bf;p=helm.git

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