[issue23715] PEP 475: signal.sigtimedwait() must retry if sigtimedwait() failed with EINTR

[STINNER Victor]

New submission from STINNER Victor:

Attached patch changes signal.sigtimedwait() to retry if sigtimedwait() failed with EINTR and the signal handler didn't raise an exception.

----------
files: sigtimedwait_eintr.patch
keywords: patch
messages: 238595
nosy: haypo
priority: normal
severity: normal
status: open
title: PEP 475: signal.sigtimedwait() must retry if sigtimedwait() failed with EINTR
versions: Python 3.5
Added file: http://bugs.python.org/file38583/sigtimedwait_eintr.patch

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue23715>
_______________________________________