Method getWorkspaceSessionIds

src/node/services/ptyService.ts:294–298

* Get all session IDs for a workspace. * Used by frontend to discover existing sessions to reattach to after reload.

(workspaceId: string)

   * Used by frontend to discover existing sessions to reattach to after reload.
   */
  getWorkspaceSessionIds(workspaceId: string): string[] {
    return Array.from(this.sessions.entries())
      .filter(([, session]) => session.workspaceId === workspaceId)
      .map(([id]) => id);
  }

  /**
   * Close all terminal sessions for a workspace