On Sun, Mar 12, 2006 at 03:54:00PM +0000, Justin Mason wrote: > that's odd btw -- the "?update=200603111700" part of the URL is > supposed to avoid that problem, by not picking mirrors that > haven't yet picked up the new files.
I thought the same thing, but it looks like the cgi works such that the choice it makes randomly will have been updated, but the pulldown list is the whole list. I couldn't remember whether or not that was expected behavior. :( -- Randomly Generated Tagline: "It is far more impressive when others discover your good qualities without your help." - Zen Musings
pgpEASe5KMang.pgp
Description: PGP signature