]> matita.cs.unibo.it Git - helm.git/blob - hbugs/broker/hbugs_broker_ctl.sh
made executable again
[helm.git] / hbugs / broker / hbugs_broker_ctl.sh
1 #!/bin/sh
2 daemon="hbugs_broker"
3 if [ "$1" = "--help" -o "$1" = "" ]; then
4    echo "ctl.sh { start | stop | --help }"
5    exit 0
6 fi
7 if [ "$1" = "start" ]; then
8    echo -n "Starting HBugs broker ... "
9    ./$daemon &> run/$daemon.LOG &
10    echo "done!"
11 elif [ "$1" = "stop" ]; then
12    echo -n "Stopping HBugs broker ... "
13    killall $daemon
14    echo "done!"
15 fi