Method destroy

src/server/web/session-store.ts:125–156

* Immediately kill the PTY and remove the session.

(token: string)

   * Immediately kill the PTY and remove the session.
   */
  destroy(token: string): void {
    const session = this.sessions.get(token);
    if (!session) return;

    this.sessions.delete(token);

    if (session.graceTimer) {
      clearTimeout(session.graceTimer);
      session.graceTimer = null;
    }

    if (
      session.ws &&
      session.ws.readyState !== 2 /* CLOSING */ &&
      session.ws.readyState !== 3 /* CLOSED */
    ) {
      session.ws.close(1000, "Session destroyed");
    }

    try {
      session.pty.kill("SIGHUP");
    } catch {
      // PTY may already be dead
    }
    setTimeout(() => {
      try {
        session.pty.kill("SIGKILL");
      } catch {
        // Already dead
      }
    }, 5000);
  }

  /** Returns summary info for all sessions (used by the REST API). */
  list(): SessionInfo[] {