From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 19 Jan 2004 12:10:48 +0000 (+0000)
Subject: Errore message improved.
X-Git-Tag: V_0_5_1_3~29
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=17105dbea52ebfb6807140f501403b43b79a6179;p=helm.git

Errore message improved.
---

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 *)