Function killTree

src/hooks/executor.ts:107–113

(signal: NodeJS.Signals)

    // die too; fall back to a plain proc.kill if the group signal can't be sent
    // (already dead, or Windows where there's no group).
    const killTree = (signal: NodeJS.Signals): void => {
      const pid = proc.pid;
      if (pid != null && process.platform !== 'win32') {
        try { process.kill(-pid, signal); return; } catch { /* fall through */ }
      }
      try { proc.kill(signal); } catch { /* already gone */ }
    };

    const termTimer = setTimeout(() => {
      timedOut = true;