diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/download.pl | 3 | 
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/download.pl b/scripts/download.pl index 882e907d6..8eb66f035 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";  | 
