From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 16 Dec 2003 17:37:58 +0000 (+0000)
Subject: use ocaml-http instead of netclient for http GET requests
X-Git-Tag: V_0_5_1_3~67
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1374bbf2975b043cd20666bea818528f5fcf8450;p=helm.git

use ocaml-http instead of netclient for http GET requests
---

diff --git a/helm/ocaml/getter/Makefile b/helm/ocaml/getter/Makefile
index 576b04619..af3674f66 100644
--- a/helm/ocaml/getter/Makefile
+++ b/helm/ocaml/getter/Makefile
@@ -1,5 +1,5 @@
 PACKAGE = getter
-REQUIRES = pxp netclient helm-urimanager
+REQUIRES = pxp helm-urimanager http
 PREDICATES =
 
 INTERFACE_FILES = configuration.mli clientHTTP.mli getter.mli
diff --git a/helm/ocaml/getter/clientHTTP.ml b/helm/ocaml/getter/clientHTTP.ml
index 2444bded3..fc319e583 100644
--- a/helm/ocaml/getter/clientHTTP.ml
+++ b/helm/ocaml/getter/clientHTTP.ml
@@ -27,14 +27,14 @@ exception HttpClientError of exn * string;;
 
 let send cmd =
  try
-  ignore (Http_client.Convenience.http_get cmd)
+  ignore (Http_client.http_get cmd)
  with
   e -> raise (HttpClientError (e,cmd))
 ;;
 
 let get uri =
  try
-  Http_client.Convenience.http_get uri
+  Http_client.http_get uri
  with
   e -> raise (HttpClientError (e,uri))
 ;;