Function _export_workspace_path

tools/modly-cli/agent.py:160–163

(base_url: str, workspace_path: str, fmt: str, dest: Path, *, timeout: float)

def _export_workspace_path(base_url: str, workspace_path: str, fmt: str, dest: Path, *, timeout: float) -> int:
    workspace_path = _validate_workspace_path(workspace_path)
    export_url = f"{base_url.rstrip('/')}/export/{urllib.parse.quote(fmt)}?{urllib.parse.urlencode({'path': workspace_path})}"
    return _download(export_url, dest, timeout=timeout)


def _try_health(base_url: str, timeout: float) -> dict[str, Any] | None: