Method disposeSession

src/node/services/workspaceService.ts:2825–2853

(workspaceId: string)

  }

  public disposeSession(workspaceId: string): void {
    const trimmed = workspaceId.trim();
    const transientSession = this.transientStartupRecoverySessions.get(trimmed);
    if (transientSession) {
      transientSession.dispose();
      this.transientStartupRecoverySessions.delete(trimmed);
    }

    const session = this.sessions.get(trimmed);
    const refreshTimer = this.postCompactionRefreshTimers.get(trimmed);
    if (refreshTimer) {
      clearTimeout(refreshTimer);
      this.postCompactionRefreshTimers.delete(trimmed);
    }

    if (!session) {
      return;
    }

    const subscriptions = this.sessionSubscriptions.get(trimmed);
    if (subscriptions) {
      subscriptions.chat();
      subscriptions.metadata();
      this.sessionSubscriptions.delete(trimmed);
    }

    session.dispose();
    this.sessions.delete(trimmed);
  }

  private async getPersistedPostCompactionDiffPaths(workspaceId: string): Promise<string[] | null> {
    const postCompactionPath = path.join(