commit | ba48264bce265a70157181dbd499f99a50ec0931 | [log] [tgz] |
---|---|---|
author | Richard Oudkerk <shibturn@gmail.com> | Tue Feb 26 12:37:07 2013 +0000 |
committer | Richard Oudkerk <shibturn@gmail.com> | Tue Feb 26 12:37:07 2013 +0000 |
tree | 32da976b02bf5be9dbc4938b5a0ce998ec8a9ee6 | |
parent | b1bbc0b3dc870ecb7621fa7499f2347fe4a6a8e7 [diff] |
Issue #17018: Make Process.join() retry if os.waitpid() fails with EINTR.