]> matita.cs.unibo.it Git - helm.git/commitdiff
Added debug flag and debug_print function
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 17 Nov 2002 16:15:01 +0000 (16:15 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 17 Nov 2002 16:15:01 +0000 (16:15 +0000)
helm/DEVEL/ocaml-http/http_common.ml
helm/DEVEL/ocaml-http/http_common.mli

index 28b7201b9f2329e56bdf798900b77562c46501bf..1db14b7fcee8e5529168140e508c627998c6755f 100644 (file)
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
+open Printf;;
+
+let debug = ref false
+let debug_print s =
+  if !debug then
+    prerr_endline (sprintf "DEBUG: %s" s)
+
 exception Invalid_HTTP_version of string
 exception Invalid_code of int
 exception Invalid_status of Http_types.status
index 447f317e764c5c4515ab00390fa72a38f1a3d6a3..bd7ff3079c55b2c4aa1067d7c604c3ca0ed5bced 100644 (file)
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
+  (** whether debugging messages are enabled or not, can be changed at runtime
+  *)
+val debug: bool ref
+  (** print a string on stderr only if debugging is enabled *)
+val debug_print: string -> unit
+
 exception Invalid_HTTP_version of string
 exception Invalid_code of int
 exception Invalid_status of Http_types.status