From b8396480f19101abcaabdcf8c52c8a876e664d5d Mon Sep 17 00:00:00 2001 From: Andy Boyett Date: Mon, 18 Feb 2008 21:05:24 +0000 Subject: [PATCH] Increased to five download attempts in download.pl SVN-Revision: 10486 --- scripts/download.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/download.pl b/scripts/download.pl index 806ee80458..e885ff25f5 100755 --- 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; -- 2.30.2