12 Oct
2008
12 Oct
'08
5:53 p.m.
That is what a ping mechanism provides.
Hmm. If the mirror provided a file "last-changed", it would be very easy to find out whether the mirror is still running. Mirrors not providing that file could be ignored.
I can use for that a "wget --mirror" or "rsync -r" and I don't need to write a program for this.
If more people start mirroring PyPI through wget or rsync, I need to ban specific IP addresses. For the moment, please consider my request to stop mirroring PyPI with wget, and to write (or use) a real mirroring tool.
Regards, Martin