Function _save_current_page_html

src/sandbox_vm/tools/web/utils.py:24–49

After navigating, capture HTML from the current page and save it into the session's url_download directory. Returns { handle }.

(ctx: Context, url: str)

async def _save_current_page_html(ctx: Context, url: str) -> Dict[str, Any]:
    """
    After navigating, capture HTML from the current page and save it into the
    session's url_download directory. Returns { handle }.
    """
    rt = MANAGER.get(_sid(ctx))

    # Fetch HTML from current page (no disk IO from the browser tool)
    html_res = await _browser_page_html(ctx)
    if "error" in html_res:
        return html_res

    html = html_res.get("html", "")
    out_dir = rt.root / "url_download"
    out_dir.mkdir(parents=True, exist_ok=True)
    fname = _url_to_filename(url)
    path = out_dir / fname

    try:
        path.write_text(html, encoding="utf-8")
    except Exception as e:
        return _err("WRITE_ERROR", message=str(e))

    handle = rt.publish_path(path, perm="r", label=f"page-{fname}")
    rt.touch()
    return _ok(handle=handle)


async def web_fetch_urls(ctx: Context, urls: List[str]) -> dict: