]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/hbugs/scripts/brokerctl.sh
added coercions to Prod
[helm.git] / helm / ocaml / hbugs / scripts / brokerctl.sh
1 #!/bin/sh
2 daemon="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 -9 $daemon
14    echo "done!"
15 fi