[Mirrors] R: Re: Request activation of a new mirror

[mirroring]

Hi Jeff,



I just checked the new mirror for Union Jack but I still see the jolly
roger. 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.



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



Thank you,

Antonio

[Mirrors] Closing mirror zighinetto.org

[mirroring]

Hi all,



because of tremendous server problems that are forcing me to migrate all my
websites to another host, I'll be discontinuing zighinetto.org mirror of
Open MPI. It's been a pleasure to share spare bandwidth across this time,
but I currently need to discontinue the server and the new host (Azure)
offers pay-per-use bandwidth.



Sorry for the many outages so far. The mirror will be shut down in a few
days.



Bye.