closeSession method

void closeSession(
  1. String sessionId
)

Implementation

void closeSession(String sessionId) {
  final session = _sessions[sessionId];
  if (session != null) {
    session.isActive = false;
    _sessions.remove(sessionId);
    developer.log('Closed session $sessionId', name: 'ToolHandlerManager');
  }
}