From a43d3143686cb9204694a8a5aa337c421883db37 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 4 Feb 2005 16:15:44 +0000 Subject: [PATCH] fixed Gzip bug in Xml.pp --- helm/ocaml/getter/http_getter_misc.ml | 1 - helm/ocaml/xml/xml.ml | 3 +-- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/helm/ocaml/getter/http_getter_misc.ml b/helm/ocaml/getter/http_getter_misc.ml index 289ebad9a..b25a42580 100644 --- a/helm/ocaml/getter/http_getter_misc.ml +++ b/helm/ocaml/getter/http_getter_misc.ml @@ -163,7 +163,6 @@ let gunzip ?(keep = false) ?output fname = begin try let ic = Gzip.open_in_chan zic in - Http_getter_logger.log (sprintf "LUCA: OK" ); let oc = open_out output in let buf = String.create bufsiz in (try diff --git a/helm/ocaml/xml/xml.ml b/helm/ocaml/xml/xml.ml index 64c066a1e..cee7ccd6d 100644 --- a/helm/ocaml/xml/xml.ml +++ b/helm/ocaml/xml/xml.ml @@ -102,8 +102,7 @@ let pp_to_outchan strm oc = ;; let pp_to_gzipchan strm oc = - pp_gen (fun s -> Gzip.output oc s 0 (String.length s)) strm; - Gzip.flush oc + pp_gen (fun s -> Gzip.output oc s 0 (String.length s)) strm (** pretty printer to string *) let pp_to_string strm = -- 2.39.2