8.3.5 Closing Websockets

When a websocket is closed, the backend server deletes all subscriptions made for this websocket. The websocket cannot be re-opened, the websocket ID obtained for the closed websocket becomes invalid.

When there is no websocket opened in a session for 120 seconds, the backend server deletes the session, this is the way the backend server handles the case when the operator closes the browser window. (not yet implemented)