res_http_websocket: websocket write timeout fails to fully disconnect