diff options
author | Fabrice Gabolde <fgabolde@weborama.com> | 2014-07-28 14:26:24 +0200 |
---|---|---|
committer | Ricardo Signes <rjbs@cpan.org> | 2014-08-08 18:51:32 -0400 |
commit | 1d796a49c65323ce318bee344fbabb78b29b7325 (patch) | |
tree | 349e498d168e71ec67018d5171e4ce125cb07eea | |
parent | ab642b09b70064ce1fbcdfc6b9a2f4bb15341f1f (diff) |
Pinto package index files have a slightly different header.
-rw-r--r-- | lib/CPAN/Mini.pm | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/CPAN/Mini.pm b/lib/CPAN/Mini.pm index eb5ca10..57e8b05 100644 --- a/lib/CPAN/Mini.pm +++ b/lib/CPAN/Mini.pm @@ -235,8 +235,11 @@ sub _get_mirror_list { if (/\S/) { my ($header, $value) = split /:\s*/, $_, 2; chomp $value; - $file_ok = 1 if $header eq 'File' - and $value eq '02packages.details.txt'; + if ($header eq 'File' + and ($value eq '02packages.details.txt' + or $value eq '02packages.details.txt.gz')) { + $file_ok = 1; + } } else { $inheader = 0; } |