Method closeWorkspaceSessions

src/node/services/ptyService.ts:303–309

* Close all terminal sessions for a workspace

(workspaceId: string)

   * Close all terminal sessions for a workspace
   */
  closeWorkspaceSessions(workspaceId: string): void {
    const sessionIds = this.getWorkspaceSessionIds(workspaceId);

    log.info(`Closing ${sessionIds.length} terminal session(s) for workspace ${workspaceId}`);

    sessionIds.forEach((id) => this.closeSession(id));
  }

  /**
   * Close all terminal sessions.