From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 1 Jul 2005 14:57:18 +0000 (+0000)
Subject: more logging information on received request
X-Git-Tag: PRE_GETTER_STORAGE~55
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0f3081bec320860fbe2208e4d3314629e12a320f;p=helm.git

more logging information on received request
---

diff --git a/helm/http_getter/main.ml b/helm/http_getter/main.ml
index 5f7e8cd93..b08e9a7d3 100644
--- a/helm/http_getter/main.ml
+++ b/helm/http_getter/main.ml
@@ -257,7 +257,7 @@ let send_log_to ?prepend action outchan =
 let callback (req: Http_types.request) outchan =
   try
     Http_getter_logger.log ("Connection from " ^ req#clientAddr);
-    Http_getter_logger.log ("Received request: " ^ req#path);
+    Http_getter_logger.log ("Received request: " ^ req#uri);
     (match req#path with
     | "/help" -> return_help outchan
     | "/getxml" ->