> 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
_______________________________________________
Distutils-SIG maillist  -  [email protected]
http://mail.python.org/mailman/listinfo/distutils-sig

Reply via email to