[ 
https://issues.apache.org/jira/browse/LUCENE-5104?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=13706614#comment-13706614
 ] 

Hoss Man commented on LUCENE-5104:
----------------------------------

bq.  why aren't we using head() instead of get()

Just to be clear, yes we could use that small CSS file you mentioned, but that 
won't help my previously stated secondary goal of being able to use this on the 
ref guide (it's a single 5MB PDF file)

bq. Maybe the script could take one or more suffixes, so that it could find any 
number of things on each mirror, and report how many mirrors have all of them?

Hmm... i guess, but the stats would get kind of confusing ... wouldn't it be 
easier just to run multiple invocations in separate terminals with each of hte 
paths you are interested it?   In a situation like you're describing, does it 
really matter "what percentage have X and Y?" or just "what percentage have X? 
what percentage have Y?"

                
> poll-mirrors.pl needs fixed
> ---------------------------
>
>                 Key: LUCENE-5104
>                 URL: https://issues.apache.org/jira/browse/LUCENE-5104
>             Project: Lucene - Core
>          Issue Type: Bug
>            Reporter: Hoss Man
>             Fix For: 4.4
>
>         Attachments: LUCENE-5104.patch
>
>
> i just noticed that poll-mirrors.pl is setup to look for the KEYS file in the 
> release dir on each mirror -- Infra (wisely) tweaked the way mirroring 
> happens recently to ensure that KEYS files are *not* mirrored anymore 
> (presumably to help catch bad links advising people to download untrusted 
> KEYS files)
> we're going to need to updated poll-mirrors.pl to look for something else in 
> each release dir ... changes/Changes.html perhaps?

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira

---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to