From 17105dbea52ebfb6807140f501403b43b79a6179 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 19 Jan 2004 12:10:48 +0000 Subject: [PATCH] Errore message improved. --- helm/http_getter/http_getter_misc.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/helm/http_getter/http_getter_misc.ml b/helm/http_getter/http_getter_misc.ml index 10d0530c3..ad543b447 100644 --- a/helm/http_getter/http_getter_misc.ml +++ b/helm/http_getter/http_getter_misc.ml @@ -229,8 +229,9 @@ let http_get url = try Some (Http_client.http_get url) with e -> - prerr_endline (sprintf "Warning: Http_client failed with exception: %s" - (Printexc.to_string e)); + prerr_endline (sprintf + "Warning: Http_client failed on url %s with exception: %s" + url (Printexc.to_string e)); None (** apply a transformation "string list -> string list" to file lines *) -- 2.39.2