Function clearHardKillTimer

src/benchmarks/claude-ui/harness.ts:330–333

()

    };

    const clearHardKillTimer = (): void => {
      if (hardKillTimer) clearTimeout(hardKillTimer);
      hardKillTimer = undefined;
    };

    const killChild = (signal: NodeJS.Signals): void => {
      if (child.exitCode !== null || child.killed || child.pid === undefined) return;