X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fhbugs%2Fscripts%2Fbrokerctl.sh;fp=helm%2Focaml%2Fhbugs%2Fscripts%2Fbrokerctl.sh;h=0000000000000000000000000000000000000000;hb=1696761e4b8576e8ed81caa905fd108717019226;hp=3da998d6c4236bbdad1e4e1d42cb3ced2a881888;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;p=helm.git

diff --git a/helm/ocaml/hbugs/scripts/brokerctl.sh b/helm/ocaml/hbugs/scripts/brokerctl.sh
deleted file mode 100755
index 3da998d6c..000000000
--- a/helm/ocaml/hbugs/scripts/brokerctl.sh
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/bin/sh
-daemon="broker"
-if [ "$1" = "--help" -o "$1" = "" ]; then
-   echo "ctl.sh { start | stop | --help }"
-   exit 0
-fi
-if [ "$1" = "start" ]; then
-   echo -n "Starting HBugs broker ... "
-   ./$daemon &> run/$daemon.log &
-   echo "done!"
-elif [ "$1" = "stop" ]; then
-   echo -n "Stopping HBugs broker ... "
-   killall -9 $daemon
-   echo "done!"
-fi