]> matita.cs.unibo.it Git - helm.git/commitdiff
Some debug print removed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 15 Nov 2000 17:15:39 +0000 (17:15 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 15 Nov 2000 17:15:39 +0000 (17:15 +0000)
helm/interface/http_getter/http_getter.pl

index cfe9a79ad736e79fb6b770d32c998a25cadebf2f..ce25c093f495744ca78fe4b21e05e1e24d8e922e 100755 (executable)
@@ -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);