fix #105 EINTR handled too defensively when polling
authorMichael Wallner <mike@php.net>
Thu, 7 Jan 2021 13:03:17 +0000 (14:03 +0100)
committerMichael Wallner <mike@php.net>
Thu, 7 Jan 2021 17:24:58 +0000 (18:24 +0100)

No differences found