From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 9 Jan 2003 11:29:09 +0000 (+0000)
Subject: - added debugging print of request 1st line
X-Git-Tag: v0_3_99~57
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=841f96d4a534645067f92e9701b55edcc21e9600;p=helm.git

- added debugging print of request 1st line
---

diff --git a/helm/DEVEL/ocaml-http/http_parser.ml b/helm/DEVEL/ocaml-http/http_parser.ml
index d6a8ddfe0..52c84570c 100644
--- a/helm/DEVEL/ocaml-http/http_parser.ml
+++ b/helm/DEVEL/ocaml-http/http_parser.ml
@@ -97,6 +97,7 @@ let debug_dump_request path params =
 
 let parse_request_fst_line ic =
   let request_line = generic_input_line ~sep:crlf ~ic in
+  debug_print (sprintf "HTTP request line (not yet parsed): %s" request_line);
   match Pcre.split ~rex:pieces_sep request_line with
   | [ meth_raw; uri_raw; http_version_raw ] ->
       (try