Upload folder using huggingface_hub

server/app.py

@@ -100,7 +100,13 @@ def _swap_in_custom_gradio_ui() -> None:
     # Playground keep functioning silently against a broken kwargs path,
     # which is the exact symptom Daisy hit. 404'ing them forces clients
     # to reload and pick up the new UI.
+    # Note: ``/web`` (no trailing slash) is the LEGACY vanilla HTML
+    # "HumanAgent Interface" page in openenv-core 0.2.1, not just a
+    # redirect. We must drop it too — otherwise HF Spaces' iframe (which
+    # hits ``/web`` without the slash) renders the broken legacy UI
+    # instead of our Gradio mount at ``/web/``.
     _OPENENV_DEFAULT_UI_PATHS = {
+        "/web",
         "/web/reset",
         "/web/step",
         "/web/state",
@@ -175,17 +181,28 @@ async def stats():
 from fastapi.responses import RedirectResponse  # noqa: E402
 
 
-def _has_root_route() -> bool:
-    return any(getattr(r, "path", None) == "/" for r in app.routes)
+def _has_route(path: str) -> bool:
+    return any(getattr(r, "path", None) == path for r in app.routes)
 
 
-if not _has_root_route():
+if not _has_route("/"):
 
     @app.get("/", include_in_schema=False)
     async def _root_redirect():
         return RedirectResponse(url="/web/")
 
 
+# ``/web`` (no trailing slash) MUST redirect to ``/web/``. The Mount handles
+# ``/web/...`` but a request to ``/web`` itself would otherwise 404 (the
+# legacy ``/web`` HTMLResponse route from openenv-core 0.2.1 has been removed
+# in the swap-in above). HF Spaces' iframe defaults to the no-slash URL.
+if not _has_route("/web"):
+
+    @app.get("/web", include_in_schema=False)
+    async def _web_redirect():
+        return RedirectResponse(url="/web/")
+
+
 def main():
     import uvicorn