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