From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 4 Feb 2005 16:15:44 +0000 (+0000)
Subject: fixed Gzip bug in Xml.pp
X-Git-Tag: V_0_1_0~12
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a43d3143686cb9204694a8a5aa337c421883db37;p=helm.git

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 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 =