Message284933
The user can access pipes and close them directly, or keep their own reference. I don’t think detach() should touch pipes, and __exit__() should probably continue to close them. Maybe call the method detach_pid() if that makes it clearer that pipes are unaffected.
For the Windows process handle, I suggest detach() should close it. I believe this would make Windows work like Unix when you set SIGCHLD to automatically reap children. |
|
Date |
User |
Action |
Args |
2017-01-07 20:57:52 | martin.panter | set | recipients:
+ martin.panter, vstinner |
2017-01-07 20:57:52 | martin.panter | set | messageid: <1483822672.21.0.341785676986.issue27068@psf.upfronthosting.co.za> |
2017-01-07 20:57:52 | martin.panter | link | issue27068 messages |
2017-01-07 20:57:52 | martin.panter | create | |
|