A lot of changes to support the new UWOBO stylesheet processor:

[helm.git] / helm / interface / getter.ml

diff --git a/helm/interface/getter.ml b/helm/interface/getter.ml
index 50ec96380990cee1f16a7ed6e8c65f52754c3583..241dd4443b13289209f44e824a137800ba0c5e40 100644 (file)
--- a/helm/interface/getter.ml
+++ b/helm/interface/getter.ml
@@ -45,11 +45,11 @@ module MapOfStrings = Map.Make(OrderedStrings);;
 
 let read_index url =
  let module C = Configuration in
-  if Sys.command ("helm_wget " ^ C.tmpdir ^ " " ^ url ^ "/\"" ^
+  if Sys.command ("helm_wget " ^ C.tmp_dir ^ " " ^ url ^ "/\"" ^
    C.indexname ^ "\"") <> 0
   then
    raise (ErrorGetting url) ;
-  let tmpfilename = C.tmpdir ^ "/" ^ C.indexname in
+  let tmpfilename = C.tmp_dir ^ "/" ^ C.indexname in
    let fd = open_in tmpfilename in
    let uris = ref [] in
     try
@@ -145,9 +145,7 @@ let get_file uri =
    fn
 ;;
 
-let raw_get uri =
- let msg = new Http_client.get uri in
-  msg#get_req_body
+let raw_get = ClientHTTP.get_and_save
 
 (* get : uri -> filename *)
 (* If uri is the URI of an annotation, the annotated object is processed *)