pub fn forget_session(server: &Server, session: &mut Session)Expand description
Give back everything a connection was holding on the server.
The transaction, the watches and the subscriptions, and it is here rather
than in Session::reset because letting go of any of the three is a change
to the server. A Session on its own cannot reach one, and a connection that
dropped its lists without saying so would leave rows nobody is watching and
subscriptions nobody is listening to, which would keep every write and every
publish on the server paying for clients that are not there.