zed-industries/zed · error · TimeoutError

judge proxy did not open port {self._port} in time

Error message

judge proxy did not open port {self._port} in time

What it means

Error "judge proxy did not open port {self._port} in time" thrown in zed-industries/zed.

Source

Thrown at crates/eval_cli/zed_eval/rejudge.py:195

    def __exit__(self, *_exc: object) -> None:
        if self._process is not None:
            self._process.terminate()
            try:
                self._process.wait(timeout=10)
            except subprocess.TimeoutExpired:
                self._process.kill()

    def _wait_for_port(self, timeout_secs: float = 30.0) -> None:
        deadline = time.time() + timeout_secs
        while time.time() < deadline:
            if self._process is not None and self._process.poll() is not None:
                raise RuntimeError("judge proxy exited before becoming ready")
            with socket.socket(socket.AF_INET, socket.SOCK_STREAM) as probe:
                probe.settimeout(0.5)
                if probe.connect_ex(("127.0.0.1", self._port)) == 0:
                    return
            time.sleep(0.25)
        raise TimeoutError(f"judge proxy did not open port {self._port} in time")


def _stage_tests_dir(tests_dir: Path) -> None:
    """Point the absolute `/tests` path at this trial's package. Reset per trial
    so each verifier reads its own rubrics/prompts."""
    if TESTS_DIR.is_symlink() or TESTS_DIR.exists():
        if TESTS_DIR.is_dir() and not TESTS_DIR.is_symlink():
            shutil.rmtree(TESTS_DIR)
        else:
            TESTS_DIR.unlink()
    TESTS_DIR.symlink_to(tests_dir)


def _run_verifier(
    part: str, tests_dir: Path, judge_model: str, port: int
) -> dict[str, Any]:
    """Stage the verifier's expected inputs and run the real cached script."""
    LOGS_AGENT_DIR.mkdir(parents=True, exist_ok=True)

View on GitHub (pinned to bc538def45)

When it happens

Trigger: Thrown at crates/eval_cli/zed_eval/rejudge.py:195 when the library encounters an invalid state.

Common situations: See trigger scenarios.

AI-assisted analysis of zed-industries/zed@bc538def45 (2026-08-16). Data as JSON: /api/errors/9a0a36be43d09f24. Report an issue: GitHub.