Function progress

scripts/benchmark_discovery.py:529–542

(current: int, total: int, unit: str, message: str)

def progress(current: int, total: int, unit: str, message: str) -> None:
    print(
        "JCODE_PROGRESS "
        + json.dumps(
            {
                "current": current,
                "total": total,
                "unit": unit,
                "message": message,
            },
            separators=(",", ":"),
        ),
        flush=True,
    )


def start_server(args: argparse.Namespace, socket_path: Path) -> subprocess.Popen[str]: