Hi, 2016-07-29 13:35 GMT+02:00 Nick Coghlan <ncoghlan@gmail.com>:
I'm wondering if we should take os.getrandom() out of the PEPs, and just agree that adding it as a platform-dependent optional interface in the OS module is a good idea.
It's a deliberate choice to add os.getrandom() as part of my PEP. It is a solution for concrete use case: be able to detect when os.urandom() will block and decide how to handle this case (implement "polling"). That's also why I added examples using os.getrandom(). Your PEP 522 contains many examples and use cases to be notified when os.urandom() will block and decide how to handle it (implement polling). That's why I completed my PEP, these use cases look common enough to justify the addition of os.getrandom(). Victor