sync whiterussian download.pl with trunk, allow the user to specify additional wget...

SVN-Revision: 5144

diff --git a/scripts/download.pl b/scripts/download.pl
index c29b5fe78e331dbcae809a281746467db0c47a3a..8f5d1d6b464c2a98a896fe329139b9f901fbdc7c 100755 (executable)
--- a/scripts/download.pl
+++ b/scripts/download.pl
@@ -35,8 +35,10 @@ chomp $md5cmd;
 sub download
 {
        my $mirror = shift;
+       my $options = $ENV{WGET_OPTIONS};
+       $options or $options = "";
 
-       open WGET, "wget -t1 --timeout=20 -O- \"$mirror/$filename\" |" or die "Cannot launch wget.\n";
+       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";
        my $buffer;