Public SourceMage Discussion List

[Karsten Behrmann <BearPerson AT gmx.net>]

> It would take a moderate amount of work.  Does it really matter if it
> takes another 20 seconds of trying other mirrors? I'ts not worth the
> effort. The main site will be tried eventualy.
I don't think so.
I think the main site will not be tried because the user selected one URL to 
use,
and this url is substituted directly when parsing the DETAILS file
(if I'm not outdated there)
So it would need a patch to try the main site at all.