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.


Jeff Squyres
For corporate legal information go to:

Reply via email to