]> matita.cs.unibo.it Git - helm.git/commit
- moved functions for sending/receiving hbugs messages in common/
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:05:24 +0000 (09:05 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:05:24 +0000 (09:05 +0000)
commitd6f4e5a43fbd054835d2323e7d5351741bd2ad3b
tree03b48fe9ef37b5791c83958640ec20eb539faca4
parentf761deff2f2f8c0cce674d2885b22a94a972ea85
- moved functions for sending/receiving hbugs messages in common/
- added a debugging wrapper that prints all messages received by broker
- test that 'subscribe' method receive at least one tutor_id
helm/hbugs/broker/hbugs_broker.ml