]> matita.cs.unibo.it Git - helm.git/commitdiff
- http debugging value copied from daemon debugging value
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 20 Nov 2002 16:28:03 +0000 (16:28 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 20 Nov 2002 16:28:03 +0000 (16:28 +0000)
helm/graphs/tools/uriSetQueue.ml

index 1bb6b5ee4c4fa58c83eeb41b0f7733a46e4a020e..29482c26817dfd79571b732eba9fc9f84cc123ec 100644 (file)
@@ -23,9 +23,9 @@
  * http://cs.unibo.it/helm/.
  *)
 
-Http_common.debug := true;;
 let debug = true;;
 let debug_print s = if debug then prerr_endline s;;
+Http_common.debug := debug;;
 
 open Printf;;