diff options
author | Richard Oudkerk <shibturn@gmail.com> | 2013-02-26 12:39:57 (GMT) |
---|---|---|
committer | Richard Oudkerk <shibturn@gmail.com> | 2013-02-26 12:39:57 (GMT) |
commit | 7aaa1ef8580660eb6ba94a48ffaf76acbc75a8a6 (patch) | |
tree | 8a83c0c8bc3dc06f1458075af2aa1795409d95ff /Lib/multiprocessing | |
parent | 8fd366978d2020b28442831bd28df85824856e30 (diff) | |
download | cpython-7aaa1ef8580660eb6ba94a48ffaf76acbc75a8a6.zip cpython-7aaa1ef8580660eb6ba94a48ffaf76acbc75a8a6.tar.gz cpython-7aaa1ef8580660eb6ba94a48ffaf76acbc75a8a6.tar.bz2 |
Issue #17018: Make Process.join() retry if os.waitpid() fails with EINTR.
Diffstat (limited to 'Lib/multiprocessing')
-rw-r--r-- | Lib/multiprocessing/forking.py | 18 |
1 files changed, 12 insertions, 6 deletions
diff --git a/Lib/multiprocessing/forking.py b/Lib/multiprocessing/forking.py index bc8ac44..8dc4b00 100644 --- a/Lib/multiprocessing/forking.py +++ b/Lib/multiprocessing/forking.py @@ -35,6 +35,7 @@ import os import sys import signal +import errno from multiprocessing import util, process @@ -128,12 +129,17 @@ if sys.platform != 'win32': def poll(self, flag=os.WNOHANG): if self.returncode is None: - try: - pid, sts = os.waitpid(self.pid, flag) - except os.error: - # Child process not yet created. See #1731717 - # e.errno == errno.ECHILD == 10 - return None + while True: + try: + pid, sts = os.waitpid(self.pid, flag) + except os.error as e: + if e.errno == errno.EINTR: + continue + # Child process not yet created. See #1731717 + # e.errno == errno.ECHILD == 10 + return None + else: + break if pid == self.pid: if os.WIFSIGNALED(sts): self.returncode = -os.WTERMSIG(sts) |