summaryrefslogtreecommitdiff
path: root/scripts/download.pl
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/download.pl')
-rwxr-xr-xscripts/download.pl15
1 files 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>) {
/^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";