tree 32da976b02bf5be9dbc4938b5a0ce998ec8a9ee6
parent b1bbc0b3dc870ecb7621fa7499f2347fe4a6a8e7
author Richard Oudkerk <shibturn@gmail.com> 1361882227 +0000
committer Richard Oudkerk <shibturn@gmail.com> 1361882227 +0000

Issue #17018: Make Process.join() retry if os.waitpid() fails with EINTR.