If a client is connected to a webserver via websockets, and say the client closes unexpectedly without the client issuing websocket.close(), say the process died or something.
What happens at that point, does the server close the connection automatically?