]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/main.ml
more logging information on received request
[helm.git] / helm / http_getter / main.ml
index 5f7e8cd93582e94a90dd9bf27619266031451ab8..b08e9a7d38071c250ad129220856560837fd5dfa 100644 (file)
@@ -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" ->