Method dispose

src/workspaces/persistent-session.ts:416–445

(reason: string)

  }

  dispose(reason: string): void {
    if (this.disposed) return;
    this.disposed = true;
    if (this.cursorTimer) {
      clearInterval(this.cursorTimer);
      this.cursorTimer = null;
    }
    if (this.respawnTimer) {
      clearTimeout(this.respawnTimer);
      this.respawnTimer = null;
    }
    try {
      this.term.kill();
    } catch {
      // already dead
    }
    const ws = this.ws;
    if (ws !== null) {
      this.unwireWs(ws);
      this.ws = null;
      this.controller = null;
      try {
        ws.close(1000, `disposed: ${reason}`);
      } catch {
        // ignore
      }
    }
    this.log.info('session.disposed', { reason });
    this.opts.onDisposed();
  }

  private onPtyData(data: Buffer | string): void {
    if (this.disposed) return;