handleSessionClosed method
Drop a session whose event stream ended.
Implementation
@protected
void handleSessionClosed(String sessionId) {
final session = _sessions.remove(sessionId);
if (session == null) {
return;
}
session.dispose();
addServerEvent(
ServerEvent(
type: ServerEventType.clientDisconnected,
message: 'Client disconnected with session id: $sessionId',
data: {
'clientId': sessionId,
},
),
);
}