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) ;
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 ;