X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_misc.ml;h=ad543b447e783f5a9dadd1fbc4bab70c853c3c67;hb=970ba0021a992efe25ec374875dc127ff236cc74;hp=a2685ca9ae09369e193d2909129ff2999295e807;hpb=e7e2a523299d807370b292b44e77f46fad1638c9;p=helm.git

diff --git a/helm/http_getter/http_getter_misc.ml b/helm/http_getter/http_getter_misc.ml
index a2685ca9a..ad543b447 100644
--- a/helm/http_getter/http_getter_misc.ml
+++ b/helm/http_getter/http_getter_misc.ml
@@ -225,12 +225,13 @@ let http_get url =
       close_in ic;
       Some buf
     with Unix.Unix_error (Unix.ENOENT, "stat", _) -> None
-  end else  (* other URL, pass it to netclient *)
+  end else  (* other URL, pass it to Http_client *)
     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 *)