From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 15 Nov 2000 17:15:39 +0000 (+0000)
Subject: Some debug print removed
X-Git-Tag: nogzip~180
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a8f8e8c144974743f48587b91ba3fa5f4b7efd39;p=helm.git

Some debug print removed
---

diff --git a/helm/interface/http_getter/http_getter.pl b/helm/interface/http_getter/http_getter.pl
index cfe9a79ad..ce25c093f 100755
--- a/helm/interface/http_getter/http_getter.pl
+++ b/helm/interface/http_getter/http_getter.pl
@@ -292,7 +292,6 @@ sub mkdirs
  my $tmp;
  foreach $dir (@dirs) {
   $tmp = ((defined($tmp)) ?  $tmp = $tmp."\/".$dir : "");
-  print $tmp."\n";
   mkdir($tmp,0777);
  }
  rmdir($tmp);