X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fhttp_getter%2Fhttp_getter.pl;h=ce25c093f495744ca78fe4b21e05e1e24d8e922e;hb=a8f8e8c144974743f48587b91ba3fa5f4b7efd39;hp=cfe9a79ad736e79fb6b770d32c998a25cadebf2f;hpb=8bc2bd57ad4d9ea0fdd753e56616fd8f74cb78a2;p=helm.git 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);