X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Finterface%2Fgetter.ml;h=d3da5a579da24f566d5f26eace108518226cfd61;hb=7b83cb1e4d697cd716a0d073931a5a3ac885d3e7;hp=d79409c8933f8181e432f1b1d5b6ff73d84a2f71;hpb=6a0c95aa83419769d65137e24edf3468f94993c9;p=helm.git

diff --git a/helm/interface/getter.ml b/helm/interface/getter.ml
index d79409c89..d3da5a579 100644
--- a/helm/interface/getter.ml
+++ b/helm/interface/getter.ml
@@ -20,7 +20,7 @@ module MapOfStrings = Map.Make(OrderedStrings);;
 
 let read_index url =
  let module C = Configuration in
-  if Sys.command ("wget -c -P " ^ C.tmpdir ^ " " ^ url ^ "/\"" ^
+  if Sys.command ("./mywget " ^ C.tmpdir ^ " " ^ url ^ "/\"" ^
    C.indexname ^ "\"") <> 0
   then
    raise (ErrorGetting url) ;
@@ -108,7 +108,7 @@ let get_file uri =
     begin
      let url = url_of_uri uri in
       (*CSC: use -q for quiet mode *)
-      if Sys.command ("wget -c -P " ^ dir ^ " \"" ^ url ^"\"") <> 0
+      if Sys.command ("./mywget " ^ dir ^ " \"" ^ url ^"\"") <> 0
       then
        raise (ErrorGetting url) ;
     end ;