]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/ocaml-http/http_common.ml
Added debug flag and debug_print function
[helm.git] / helm / DEVEL / ocaml-http / http_common.ml
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