From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 8 Jan 2003 17:51:48 +0000 (+0000)
Subject: - added debugging log messages inside 'wget'
X-Git-Tag: v0_3_99~63
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=ef8c8f30c996d30617232a662ff4d3afc5a92a8f

- added debugging log messages inside 'wget'
---

diff --git a/helm/http_getter/http_getter_misc.ml b/helm/http_getter/http_getter_misc.ml
index 1d9c59273..4b82dd8e7 100644
--- a/helm/http_getter/http_getter_misc.ml
+++ b/helm/http_getter/http_getter_misc.ml
@@ -110,6 +110,9 @@ let http_get_iter_buf ~callback url =
   close_in inchan (* close also outchan, same fd *)
 
 let wget ?output url =
+  debug_print
+    (sprintf "wgetting %s (output: %s)" url
+      (match output with None -> "default" | Some f -> f));
   match url with
   | url when Pcre.pmatch ~rex:file_scheme_RE url -> (* file:// *)
       (let src_fname = Pcre.replace ~rex:file_scheme_RE url in