]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/http_getter_misc.ml
ported to latest lablgtk2 snapshot
[helm.git] / helm / http_getter / http_getter_misc.ml
index 10d0530c35ea33cb33b8a20ccb463efc1fab13fa..ad543b447e783f5a9dadd1fbc4bab70c853c3c67 100644 (file)
@@ -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 *)