]> matita.cs.unibo.it Git - helm.git/commitdiff
kill instances of uwobo_forever.sh on stop
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 8 Apr 2003 08:21:20 +0000 (08:21 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 8 Apr 2003 08:21:20 +0000 (08:21 +0000)
helm/scripts/init.d/helm-uwobo_mowgli

index 3861c7689b5d4ce82515049eb596f8fc97b1d22e..888b4391bcb8e484d9f0484fb88981d52087a8a2 100755 (executable)
@@ -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