]> matita.cs.unibo.it Git - helm.git/commitdiff
ported to ocaml-http 0.0.10 (renamed Http_client -> Http_user_agent)
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 12 Oct 2004 21:01:23 +0000 (21:01 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 12 Oct 2004 21:01:23 +0000 (21:01 +0000)
helm/ocaml/getter/clientHTTP.ml
helm/ocaml/getter/http_getter_misc.ml
helm/ocaml/pxp/pxpUrlResolver.ml

index a7b36982c7d55a5d5edfc4ca8a52dde282a77ce0..12641147f3f1cf88c2c9aa7e4a5d729a06023a3a 100644 (file)
@@ -27,14 +27,14 @@ exception HttpClientError of string * string;;      (* reason, uri *)
 
 let send cmd =
  try
-  ignore (Http_client.http_get cmd)
+  ignore (Http_user_agent.get cmd)
  with
   e -> raise (HttpClientError (Printexc.to_string e, cmd))
 ;;
 
 let get uri =
  try
-  Http_client.http_get uri
+  Http_user_agent.get uri
  with
   e -> raise (HttpClientError (Printexc.to_string e, uri))
 ;;
index 941efe25c497a8f7c72f52537bf9bc809d6c410c..ba7e7defa049a1a7911304b112520f5c4f692f98 100644 (file)
@@ -94,7 +94,7 @@ let wget ?output url =
       (let oc = 
         open_out (match output with Some f -> f | None -> Filename.basename url)
       in
-      Http_client.http_get_iter (fun data -> output_string oc data) url;
+      Http_user_agent.get_iter (fun data -> output_string oc data) url;
       close_out oc)
   | scheme -> (* unsupported scheme *)
       failwith ("Http_getter_misc.wget: unsupported scheme: " ^ scheme)
@@ -204,12 +204,12 @@ let http_get url =
       close_in ic;
       Some buf
     with Unix.Unix_error (Unix.ENOENT, "stat", _) -> None
-  end else  (* other URL, pass it to Http_client *)
+  end else  (* other URL, pass it to Http_user_agent *)
     try
-      Some (Http_client.http_get url)
+      Some (Http_user_agent.get url)
     with e ->
       Http_getter_logger.log (sprintf
-        "Warning: Http_client failed on url %s with exception: %s"
+        "Warning: Http_user_agent failed on url %s with exception: %s"
         url (Printexc.to_string e));
       None
 
index ec94b4e5ee4d2c7e6a4b46fd57acebd1fd7fa7d9..81daaf7394f3c41288bbff25a693070112fbe573 100644 (file)
@@ -28,14 +28,14 @@ exception HttpClientError of string * string;;      (* reason, uri *)
 
 let send cmd =
  try
-  ignore (Http_client.http_get cmd)
+  ignore (Http_user_agent.get cmd)
  with
   e -> raise (HttpClientError (Printexc.to_string e, cmd))
 ;;
 
 let get uri =
  try
-  Http_client.http_get uri
+  Http_user_agent.get uri
  with
   e -> raise (HttpClientError (Printexc.to_string e, uri))
 ;;