X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_common.ml;h=1db14b7fcee8e5529168140e508c627998c6755f;hb=9c771756c4da6615ebe114cad75b0dc4b654135a;hp=28b7201b9f2329e56bdf798900b77562c46501bf;hpb=697d0d8857366485238a67386d0ce8f18404ac42;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_common.ml b/helm/DEVEL/ocaml-http/http_common.ml
index 28b7201b9..1db14b7fc 100644
--- a/helm/DEVEL/ocaml-http/http_common.ml
+++ b/helm/DEVEL/ocaml-http/http_common.ml
@@ -19,6 +19,13 @@
   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