Method terminateSettled

src/extraction/parse-pool.ts:389–400

* Terminate a worker, but not while it is still loading grammars: wait for * the load to finish (or the worker to go away), up to `loadSettleMs` * (GRAMMAR_LOAD_SETTLE_MS — see that constant for the crash this avoids).

(w: ParsePoolWorker)

   * (GRAMMAR_LOAD_SETTLE_MS — see that constant for the crash this avoids).
   */
  private async terminateSettled(w: ParsePoolWorker): Promise<void> {
    const load = this.loads.get(w);
    if (load) {
      let cap: NodeJS.Timeout | undefined;
      await Promise.race([
        load.settled,
        new Promise<void>((resolve) => { cap = setTimeout(resolve, this.loadSettleMs); cap.unref?.(); }),
      ]);
      clearTimeout(cap);
    }
    try { await w.terminate(); } catch { /* already gone */ }
  }

  private removeWorker(w: ParsePoolWorker): void {
    this.workers.delete(w);