X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fhbugs%2Fbroker.ml;h=b86c08b9bd6d7df10aba7dc7939e87de00de2688;hb=b9af9f1c0de6a1735b492f5c793a87a8fce218cc;hp=2ff8b98349dbf11853fbff1b676b706195b7c0df;hpb=a21777bd2ac02fd346f168ead468405e4c300855;p=helm.git

diff --git a/helm/ocaml/hbugs/broker.ml b/helm/ocaml/hbugs/broker.ml
index 2ff8b9834..b86c08b9b 100644
--- a/helm/ocaml/hbugs/broker.ml
+++ b/helm/ocaml/hbugs/broker.ml
@@ -31,7 +31,6 @@ open Printf;;
 
 let debug = true ;;
 let debug_print s = if debug then prerr_endline s ;;
-Http_common.debug := false;;
 
 let daemon_name = "H-Bugs Broker" ;;
 let default_port = 49081 ;;