Re: Ignore EINTR poll result code in WS_select