Public SourceMage Discussion List

[Andrew <afrayedknot AT thefrayedknot.armory.com>]

On Sun, Aug 22, 2004 at 07:26:44PM +0200, Karsten Behrmann wrote:
> > 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.

while you were out i made it try every mirror, including the main one :)

-Andrew