logger `BR
let getxml_remote ~format ~patch_dtd uri =
- ClientHTTP.get_and_save_to_tmp
- (sprintf "%sgetxml?uri=%s&format=%s&patch_dtd=%s"
+ let uri =
+ sprintf "%sgetxml?uri=%s&format=%s&patch_dtd=%s"
(getter_url ()) uri
- (match format with `Normal -> "normal" | `Gzipped -> "gzipped")
- (match patch_dtd with true -> "yes" | false -> "no"))
+ (match format with `Normal -> "normal" | `Gzipped -> "gz")
+ (match patch_dtd with true -> "yes" | false -> "no")
+ in
+ ClientHTTP.get_and_save_to_tmp uri
(* API *)
else
update_from_all_servers logger ()
-let getxml ?(format = `Normal) ?(patch_dtd = true) uri =
+let getxml ?(format = `Gzipped) ?(patch_dtd = false) uri =
if remote () then
getxml_remote ~format ~patch_dtd uri
else begin