]> matita.cs.unibo.it Git - helm.git/blob - helm/hbugs/broker/hbugs_broker_ctl.sh
added control script to start/stop broker
[helm.git] / helm / 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    . ../../script.sh
9    echo -n "Starting HBugs broker ... "
10    ./$daemon &> run/$daemon.LOG &
11    echo "done!"
12 elif [ "$1" = "stop" ]; then
13    echo -n "Stopping HBugs broker ... "
14    killall $daemon
15    echo "done!"
16 fi