Upload folder using huggingface_hub

src/core/env_server/web_interface.py

@@ -468,6 +468,11 @@ def create_web_interface_app(
         """Redirect the app root to the Gradio interface."""
         return RedirectResponse(url="/web/")
 
+    @app.get("/web", include_in_schema=False)
+    async def web_root_no_slash():
+        """Redirect /web to /web/ for mounted Gradio deployments behind proxies."""
+        return RedirectResponse(url="/web/")
+
     @app.get("/web/metadata")
     async def web_metadata():
         """Get environment metadata."""

src/core/openenv/core/env_server/web_interface.py

@@ -468,6 +468,11 @@ def create_web_interface_app(
         """Redirect the app root to the Gradio interface."""
         return RedirectResponse(url="/web/")
 
+    @app.get("/web", include_in_schema=False)
+    async def web_root_no_slash():
+        """Redirect /web to /web/ for mounted Gradio deployments behind proxies."""
+        return RedirectResponse(url="/web/")
+
     @app.get("/web/metadata")
     async def web_metadata():
         """Get environment metadata."""

src/openenv/core/env_server/web_interface.py

@@ -468,6 +468,11 @@ def create_web_interface_app(
         """Redirect the app root to the Gradio interface."""
         return RedirectResponse(url="/web/")
 
+    @app.get("/web", include_in_schema=False)
+    async def web_root_no_slash():
+        """Redirect /web to /web/ for mounted Gradio deployments behind proxies."""
+        return RedirectResponse(url="/web/")
+
     @app.get("/web/metadata")
     async def web_metadata():
         """Get environment metadata."""