more logging information on received request

diff --git a/helm/http_getter/main.ml b/helm/http_getter/main.ml
index 5f7e8cd93582e94a90dd9bf27619266031451ab8..b08e9a7d38071c250ad129220856560837fd5dfa 100644 (file)
--- 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" ->