Message285068
I agree with Serhiy that I don't think this is necessary for io.open() when os.open() supports this. But this really can't be discussed further until someone provides a clear design proposal on how to make this work with io.open(). |
|
Date |
User |
Action |
Args |
2017-01-09 20:11:36 | brett.cannon | set | recipients:
+ brett.cannon, vstinner, christian.heimes, socketpair, serhiy.storchaka |
2017-01-09 20:11:36 | brett.cannon | set | messageid: <1483992696.06.0.144255714721.issue29214@psf.upfronthosting.co.za> |
2017-01-09 20:11:36 | brett.cannon | link | issue29214 messages |
2017-01-09 20:11:35 | brett.cannon | create | |
|