]> matita.cs.unibo.it Git - helm.git/commitdiff
prefix error messages with "[OCaml HTTP]"
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 21:38:44 +0000 (21:38 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 21:38:44 +0000 (21:38 +0000)
helm/DEVEL/ocaml-http/http_common.ml

index 839d2aff3f35dcff5063e1f8cea988789558fed5..ed595590d2caf7dfa1b14af7f6c310942dadf3ba 100644 (file)
@@ -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