Increased to five download attempts in download.pl

SVN-Revision: 10486

diff --git a/scripts/download.pl b/scripts/download.pl
index 806ee804581012690b74803288f65debfb4de9a8..e885ff25f5c1b098b08739ddcbb7c5a830f40b5c 100755 (executable)
--- a/scripts/download.pl
+++ b/scripts/download.pl
@@ -63,7 +63,7 @@ sub download
        $options or $options = "";
        
        $mirror =~ s/\/$//;
-       open WGET, "wget -t1 --timeout=20 $options -O- \"$mirror/$filename\" |" or die "Cannot launch wget.\n";
+       open WGET, "wget -t5 --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;