fixed Gzip bug in Xml.pp

diff --git a/helm/ocaml/getter/http_getter_misc.ml b/helm/ocaml/getter/http_getter_misc.ml
index 289ebad9af9f22b477e5d6f8d25a7a57c1386b20..b25a425805ad9c6a29cda92c83cd87aff2af496d 100644 (file)
--- 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 64c066a1eacf1a611396bd5427fdddfede8a6097..cee7ccd6d187249b7ac2a4c3736c70a9efe01faf 100644 (file)
--- 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 =