]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/clientHTTP.ml
first moogle template checkin
[helm.git] / helm / ocaml / getter / clientHTTP.ml
index fc319e5834fc6d2755e12d7ac3b18d09a8a914e1..a7b36982c7d55a5d5edfc4ca8a52dde282a77ce0 100644 (file)
  * http://cs.unibo.it/helm/.
  *)
 
-exception HttpClientError of exn * string;;
+exception HttpClientError of string * string;; (* reason, uri *)
 
 let send cmd =
  try
   ignore (Http_client.http_get cmd)
  with
-  e -> raise (HttpClientError (e,cmd))
+  e -> raise (HttpClientError (Printexc.to_string e, cmd))
 ;;
 
 let get uri =
  try
   Http_client.http_get uri
  with
-  e -> raise (HttpClientError (e,uri))
+  e -> raise (HttpClientError (Printexc.to_string e, uri))
 ;;
 
 let get_and_save uri dest_filename =