STINNER Victor added the comment: Ok, here is a first patch just for select.select().
It took me some time to write this small patch, because I wanted first to push my new API to handle time in pytime.h (Issue #22117). The new time C API has been merged. ---------- keywords: +patch Added file: http://bugs.python.org/file38732/select_eintr.patch _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue23485> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
