]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/broker/hbugs_broker_ctl.sh
fixed a typo (inside a comment)
[helm.git] / helm / hbugs / broker / hbugs_broker_ctl.sh
index b06f844f177d26b85d7aa14121938c9eb8647723..57ee007d5a81e103c10fb8b54cc87fee7b50917c 100755 (executable)
@@ -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