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, the subscriptions and the monitor, and it is
here rather than in Session::reset because letting go of any of the four
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, subscriptions nobody is listening to and a monitor nobody is
reading, which would keep every write, every publish and every command on the
server paying for clients that are not there.