[PATCH 5/5] ws2_32: Handle SO_RCVTIMEO in the server.