From 77df3071834299ea20326517994df45df30bd6fa Mon Sep 17 00:00:00 2001 From: Ralph Hempel Date: Fri, 20 Feb 2009 10:16:47 +0000 Subject: [PATCH] add multiple download mirrors SVN-Revision: 14573 --- scripts/download.pl | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) diff --git a/scripts/download.pl b/scripts/download.pl index e63595497f..5606946967 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -32,7 +32,8 @@ sub localmirrors { while () { /^CONFIG_LOCALMIRROR="(.+)"/ and do { chomp; - push @mlist, $1; + my @local_mirrors = split(/;/, $1); + push @mlist, @local_mirrors; }; } close CONFIG; @@ -65,9 +66,15 @@ sub download if( $mirror =~ /^file:\/\// ) { my $cache = $mirror; $cache =~ s/file:\/\///g; - print "Checking local cache: $cache\n"; - system("mkdir -p $target/"); - system("cp -f $cache/$filename $target/$filename.dl") == 0 or return; + if(system("test -d $cache")) { + print STDERR "Wrong local cache directory -$cache-.\n"; + cleanup(); + return; + } + if(! -d $target) { + system("mkdir -p $target/"); + } + system("cp -vf $cache/$filename $target/$filename.dl") == 0 or return; system("$md5cmd $target/$filename.dl > \"$target/$filename.md5sum\" ") == 0 or return; } else { open WGET, "wget -t5 --timeout=20 $options -O- \"$mirror/$filename\" |" or die "Cannot launch wget.\n";