X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_misc.ml;fp=helm%2Fhttp_getter%2Fhttp_getter_misc.ml;h=0bc701685242d7c009c685587dfcef9ca2168687;hb=b3bd459aeedce3ae8b21e25c3f8cab730bd544f9;hp=0790d9415f8b4f8b68131f29afee75e967a7de12;hpb=bbb280d199ff7b34f7ec00f632bfada722fd1037;p=helm.git

diff --git a/helm/http_getter/http_getter_misc.ml b/helm/http_getter/http_getter_misc.ml
index 0790d9415..0bc701685 100644
--- a/helm/http_getter/http_getter_misc.ml
+++ b/helm/http_getter/http_getter_misc.ml
@@ -77,8 +77,11 @@ let wget ?output url =
   end else  (* other URL, pass it to wget *)
     use_wget ()
 
-let bufsiz = 16384
+let bufsiz = 16384                              (* for g{,un}zip *)
+let trailing_dot_gz_RE = Pcre.regexp "\\.gz$"   (* for g{,un}zip *)
+
 let gzip ?(keep = false) fname =
+  debug_print (sprintf "gzipping %s (keep: %b)" fname keep);
   let (ic, oc) = (open_in fname, Gzip.open_out (fname ^ ".gz")) in
   let buf = String.create bufsiz in
   (try
@@ -91,8 +94,8 @@ let gzip ?(keep = false) fname =
   Gzip.close_out oc;
   if not keep then Sys.remove fname
 
-let trailing_dot_gz_RE = Pcre.regexp "\\.gz$"
 let gunzip ?(keep = false) fname =
+  debug_print (sprintf "gunzipping %s (keep: %b)" fname keep);
   let basename = Pcre.replace ~rex:trailing_dot_gz_RE fname in
   assert (basename <> fname);
   let (ic, oc) = (Gzip.open_in fname, open_out basename) in