handleSessionEventDisconnected method

@protected void handleSessionEventDisconnected(SessionEventGeneric event)

Report a disconnect and drop the session.

Implementation

@protected
void handleSessionEventDisconnected(SessionEventGeneric event) {
  addServerEvent(
    ServerEvent(
      type: ServerEventType.clientDisconnected,
      message: 'Session ${event.sessionId} disconnected: ${event.message}',
    ),
  );
  final session = _sessions[event.sessionId];
  if (session == null) {
    return;
  }

  session.dispose();
  _sessions.remove(event.sessionId);
}