On Feb 1, 2011, at 4:22 PM, 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/
