terminalSessionChanged method

void terminalSessionChanged(
  1. FakeTerminalSession s
)

Appends the personal terminal_session.changed of s (04 2.1, 24 10.2).

Implementation

void terminalSessionChanged(FakeTerminalSession s) {
  s.version += 1;
  append(
    'terminal_session.changed',
    resource: {'kind': 'terminal_session', 'id': s.id, 'version': s.version},
    payload: s.json,
    audience: s.userId,
  );
}