This commit was manufactured by cvs2svn to create tag 'v0_0_2'.

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

diff --git a/helm/interface/getter.ml b/helm/interface/getter.ml
index 241dd4443b13289209f44e824a137800ba0c5e40..85e64117b6be0fe66366d4eaea95c811364e8617 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.tmp_dir ^ " " ^ url ^ "/\"" ^
+  if Sys.command ("helm_wget " ^ C.tmpdir ^ " " ^ url ^ "/\"" ^
    C.indexname ^ "\"") <> 0
   then
    raise (ErrorGetting url) ;
-  let tmpfilename = C.tmp_dir ^ "/" ^ C.indexname in
+  let tmpfilename = C.tmpdir ^ "/" ^ C.indexname in
    let fd = open_in tmpfilename in
    let uris = ref [] in
     try
@@ -145,8 +145,6 @@ let get_file uri =
    fn
 ;;
 
-let raw_get = ClientHTTP.get_and_save
-
 (* get : uri -> filename *)
 (* If uri is the URI of an annotation, the annotated object is processed *)
 let get uri =