commit | 7aaa1ef8580660eb6ba94a48ffaf76acbc75a8a6 | [log] [tgz] |
---|---|---|
author | Richard Oudkerk <shibturn@gmail.com> | Tue Feb 26 12:39:57 2013 +0000 |
committer | Richard Oudkerk <shibturn@gmail.com> | Tue Feb 26 12:39:57 2013 +0000 |
tree | 8a83c0c8bc3dc06f1458075af2aa1795409d95ff | |
parent | 8fd366978d2020b28442831bd28df85824856e30 [diff] |
Issue #17018: Make Process.join() retry if os.waitpid() fails with EINTR.