aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xscripts/download.pl3
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/download.pl b/scripts/download.pl
index 882e907d64..8eb66f0353 100755
--- a/scripts/download.pl
+++ b/scripts/download.pl
@@ -37,7 +37,8 @@ sub download
my $mirror = shift;
my $options = $ENV{WGET_OPTIONS};
$options or $options = "";
-
+
+ $mirror =~ s/\/$//;
open WGET, "wget -t1 --timeout=20 $options -O- \"$mirror/$filename\" |" or die "Cannot launch wget.\n";
open MD5SUM, "| $md5cmd > \"$target/$filename.md5sum\"" or die "Cannot launch md5sum.\n";
open OUTPUT, "> $target/$filename.dl" or die "Cannot create file $target/$filename.dl: $!\n";