endTerminalSession method

void endTerminalSession(
  1. FakeTerminalSession s,
  2. String reason
)

Ends s with reason: state closed, the event, and the open stream closed with 4100 and the reason (24 8.3, 10.3).

Implementation

void endTerminalSession(FakeTerminalSession s, String reason) {
  if (s.closed) return;
  s
    ..state = 'closed'
    ..closeReason = reason
    ..closedAt = stamp()
    ..token = null;
  terminal.closeStream(s.id, 4100, reason);
  terminalSessionChanged(s);
}