Method stopPolling

source code/utils/task/TaskOutput.ts:99–105

* Stop polling the output file. Called from React useEffect cleanup * when the progress component unmounts.

(taskId: string)

   * when the progress component unmounts.
   */
  static stopPolling(taskId: string): void {
    TaskOutput.#activePolling.delete(taskId)
    if (TaskOutput.#activePolling.size === 0 && TaskOutput.#pollInterval) {
      clearInterval(TaskOutput.#pollInterval)
      TaskOutput.#pollInterval = null
    }
  }

  /**
   * Shared tick: reads the file tail for every actively-polled task.