X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fbroker%2Fhbugs_broker_ctl.sh;h=57ee007d5a81e103c10fb8b54cc87fee7b50917c;hb=b38de2d3fa8bbe346c59c18bbeb889f29e493f63;hp=8730a1cb514353d7c03aedc9b7614737dba32e89;hpb=59a55ce2681e6853d1f5bb4027b1cc362f20fbe6;p=helm.git

diff --git a/helm/hbugs/broker/hbugs_broker_ctl.sh b/helm/hbugs/broker/hbugs_broker_ctl.sh
index 8730a1cb5..57ee007d5 100755
--- a/helm/hbugs/broker/hbugs_broker_ctl.sh
+++ b/helm/hbugs/broker/hbugs_broker_ctl.sh
@@ -5,12 +5,11 @@ if [ "$1" = "--help" -o "$1" = "" ]; then
    exit 0
 fi
 if [ "$1" = "start" ]; then
-   . ../../script.sh
    echo -n "Starting HBugs broker ... "
    ./$daemon &> run/$daemon.LOG &
    echo "done!"
 elif [ "$1" = "stop" ]; then
    echo -n "Stopping HBugs broker ... "
-   killall $daemon
+   killall -9 $daemon
    echo "done!"
 fi