X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fmain.ml;fp=helm%2Fhttp_getter%2Fmain.ml;h=b08e9a7d38071c250ad129220856560837fd5dfa;hb=0f3081bec320860fbe2208e4d3314629e12a320f;hp=5f7e8cd93582e94a90dd9bf27619266031451ab8;hpb=4ebd9e39ac5dac0393680f619e2612f95d24a7e1;p=helm.git

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" ->