]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/hbugs/broker.ml
merged changes from the svn fork by me and Enrico
[helm.git] / helm / ocaml / hbugs / broker.ml
index 2ff8b98349dbf11853fbff1b676b706195b7c0df..b86c08b9bd6d7df10aba7dc7939e87de00de2688 100644 (file)
@@ -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 ;;