Are users automatically removed from rooms in case of abandoned socket connections?

[MarcoDiMarek]

Let's say a client (js) creates a socket object, connects and the backend calls join_room (using FlaskSocketio). A few moments later, the user forcibly navigates somewhere else (or disables javascript on their browsers or whatever other abrupt end happens), is the user still in the room or has Flask Socketio automatically removed the user from the room?

If Flask Socketio performs no automatic cleanup, is there any standard way of handling these scenarios?
Thanks in advance!

[MarcoDiMarek]

I guess according to this, the rooms should have been "left" automatically at this point but I just want to make sure this is how Flask Socketio works as well.

[miguelgrinberg]

When a user disconnects (intentionally or not, doesn't matter), it is removed from all rooms it was in.