X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fmain.ml;h=b08e9a7d38071c250ad129220856560837fd5dfa;hb=0da491e737259866d1b821590bd29b4f287305d9;hp=5f7e8cd93582e94a90dd9bf27619266031451ab8;hpb=52d40595f2cc59fb58a9c544041fccc59f223a58;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" ->