- should be expected. This might improve compatibility with Opera (#3464439).
- - Use new drain_and_close_socket() when closing client sockets in serve().
- Hopefully this fixes the page truncation issue reported with Opera in
- #3464439. Apparently on some platforms immediately closing a client socket
- with both unread and written-but-not-yet-transmitted data may result in the
- connection being torn down prematurely, in which case the client ends up
- with an incomplete response. To prevent this, drain_and_close_socket()
- shuts down our side of the connection (on platforms with shutdown()),
- drains the unread data on the socket and finally calls close_socket().