From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 9 Dec 2002 21:38:44 +0000 (+0000)
Subject: prefix error messages with "[OCaml HTTP]"
X-Git-Tag: v0_3_99~134
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=4f958180b81fa67b5afce966cad3415645e40bf2

prefix error messages with "[OCaml HTTP]"
---

diff --git a/helm/DEVEL/ocaml-http/http_common.ml b/helm/DEVEL/ocaml-http/http_common.ml
index 839d2aff3..ed595590d 100644
--- a/helm/DEVEL/ocaml-http/http_common.ml
+++ b/helm/DEVEL/ocaml-http/http_common.ml
@@ -25,7 +25,7 @@ open Printf;;
 let debug = ref false
 let debug_print s =
   if !debug then
-    prerr_endline (sprintf "DEBUG: %s" s)
+    prerr_endline (sprintf "[OCaml HTTP] DEBUG: %s" s)
 
 let http_version = Http_constants.version
 let server_string = Http_constants.server_string