From 0f3081bec320860fbe2208e4d3314629e12a320f Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 1 Jul 2005 14:57:18 +0000 Subject: [PATCH] more logging information on received request --- helm/http_getter/main.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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" -> -- 2.39.2