On Feb 1, 2011, at 4:22 PM, <mirror...@zighinetto.org> wrote: > I just checked the new mirror for Union Jack but I still see the jolly roger.
I checked earlier this morning and saw that, too -- I assumed that the update hadn't worked and figured I'd check again tomorrow before pinging you. > I checked local mail and verified that the update script was ran successfully > every day. > I did a manual synchronization (and this time I got no error), when_mirrored > file was correctly set for tonight’s time, but I still see the jolly roger. This means that my data in mirrors.txt must be incorrect. > I did a check and found that we didn’t have to put “marcus.zighinetto.org” as > server name, because my PHP is someway “smart enough” to use the Apache’s > ServerName directive rather than the hostname, so that’s why I told you in my > first mail to use marcus.zighinetto.org. Currently, you can see the Union > Jack because I manually edited mirrors.txt to test: in a couple of hours it > will be surely reverted to the correct version. > > Replacing marcus.zighinetto.org with open-mpi.zighinetto.org fixes the problem Done; you'll get it on the next update. Thanks! -- Jeff Squyres jsquy...@cisco.com For corporate legal information go to: http://www.cisco.com/web/about/doing_business/legal/cri/