X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fbroker%2Fhbugs_broker_ctl.sh;h=57ee007d5a81e103c10fb8b54cc87fee7b50917c;hb=1fb8d0192e1f7ee891c53dc282c9c9f111e63e3c;hp=b06f844f177d26b85d7aa14121938c9eb8647723;hpb=201e5f67d1227dfb5c863e2edc862bb6d73e9383;p=helm.git

diff --git a/helm/hbugs/broker/hbugs_broker_ctl.sh b/helm/hbugs/broker/hbugs_broker_ctl.sh
index b06f844f1..57ee007d5 100755
--- a/helm/hbugs/broker/hbugs_broker_ctl.sh
+++ b/helm/hbugs/broker/hbugs_broker_ctl.sh
@@ -10,6 +10,6 @@ if [ "$1" = "start" ]; then
    echo "done!"
 elif [ "$1" = "stop" ]; then
    echo -n "Stopping HBugs broker ... "
-   killall $daemon
+   killall -9 $daemon
    echo "done!"
 fi