> FWIW, I don't see the PEP to be completed. The actual mirror
> protocol, how to handle multiple (unsynchronized) indexes and the API
> design are clearly undecided -- and not discussed.

The actual mirror protocol *is* decided, even though it's not explicitly
spelled out in the PEP. It is based entirely on existing API; no new API
on the PyPI side is planned. Basically, you do a lot of HTTP GETs.

As Tarek explains, the handling of unsynchronized indices is also
discussed. Each mirror has a timestamp of last synchronization.

I expect that mirrors won't be behind more than two minutes. If you
have a strong requirement to provide a better quality, you'll need
to propose a PEP change. I would personally prefer to have such a
feature only in a future revision of the protocol, based on practical
experience.

If you would like to propose a push model, I'd be curious what the
advantage would be of one of the complicated-sounding APIs you mentioned
over a simple trigger URL that the mirror might provide.

Regards,
Martin
_______________________________________________
Catalog-SIG mailing list
Catalog-SIG@python.org
http://mail.python.org/mailman/listinfo/catalog-sig

Reply via email to