]> matita.cs.unibo.it Git - helm.git/commit
added control script to start/stop broker
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Feb 2003 13:37:12 +0000 (13:37 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Feb 2003 13:37:12 +0000 (13:37 +0000)
commit59a55ce2681e6853d1f5bb4027b1cc362f20fbe6
tree2d097a36d8e7248109955e444f08c9f94e9b13b9
parente0c0da6600b0a3a7e20801405b3714d1fcb6ff36
added control script to start/stop broker
helm/hbugs/broker/hbugs_broker_ctl.sh [new file with mode: 0755]