Spaces:
Running
Running
openhands
commited on
Commit
·
fb3d0db
1
Parent(s):
b4ac443
Fix data plotting requirements and server port handling; ensure per-benchmark plots use correct agent column.\n\n- Respect HOST/PORT env for local runs\n- Use 'OpenHands Version' in plot requirements\n- Avoid plotting when use_plotly=False\n\nCo-authored-by: openhands <openhands@all-hands.dev>
Browse files- app.py +6 -2
- leaderboard_transformer.py +1 -1
- ui_components.py +1 -1
app.py
CHANGED
|
@@ -1,6 +1,7 @@
|
|
| 1 |
# app.py
|
| 2 |
import logging
|
| 3 |
import sys
|
|
|
|
| 4 |
|
| 5 |
logging.basicConfig(level=logging.INFO, format='%(levelname)s: %(message)s')
|
| 6 |
logger = logging.getLogger(__name__)
|
|
@@ -241,11 +242,14 @@ logger.info("All routes configured")
|
|
| 241 |
|
| 242 |
# Launch the Gradio app
|
| 243 |
if __name__ == "__main__":
|
|
|
|
|
|
|
|
|
|
| 244 |
if LOCAL_DEBUG:
|
| 245 |
logger.info("Launching in LOCAL_DEBUG mode")
|
| 246 |
-
demo.launch(debug=True, allowed_paths=["assets"], favicon_path="assets/favicon/favicon.ico")
|
| 247 |
else:
|
| 248 |
logger.info("Launching in Space mode")
|
| 249 |
-
demo.launch(server_name=
|
| 250 |
logger.info("Gradio app launched successfully")
|
| 251 |
|
|
|
|
| 1 |
# app.py
|
| 2 |
import logging
|
| 3 |
import sys
|
| 4 |
+
import os
|
| 5 |
|
| 6 |
logging.basicConfig(level=logging.INFO, format='%(levelname)s: %(message)s')
|
| 7 |
logger = logging.getLogger(__name__)
|
|
|
|
| 242 |
|
| 243 |
# Launch the Gradio app
|
| 244 |
if __name__ == "__main__":
|
| 245 |
+
# Respect platform port/host if provided (e.g., OpenHands runtime)
|
| 246 |
+
port = int(os.environ.get("PORT", os.environ.get("GRADIO_SERVER_PORT", 7860)))
|
| 247 |
+
host = os.environ.get("HOST", os.environ.get("GRADIO_SERVER_NAME", "0.0.0.0"))
|
| 248 |
if LOCAL_DEBUG:
|
| 249 |
logger.info("Launching in LOCAL_DEBUG mode")
|
| 250 |
+
demo.launch(server_name=host, server_port=port, debug=True, allowed_paths=["assets"], favicon_path="assets/favicon/favicon.ico")
|
| 251 |
else:
|
| 252 |
logger.info("Launching in Space mode")
|
| 253 |
+
demo.launch(server_name=host, server_port=port, debug=True, share=False, allowed_paths=["assets"], favicon_path="assets/favicon/favicon.ico")
|
| 254 |
logger.info("Gradio app launched successfully")
|
| 255 |
|
leaderboard_transformer.py
CHANGED
|
@@ -307,7 +307,7 @@ class DataTransformer:
|
|
| 307 |
y=primary_score_col,
|
| 308 |
agent_col="OpenHands Version",
|
| 309 |
name=primary_metric
|
| 310 |
-
)
|
| 311 |
# Use a consistent key for easy retrieval later
|
| 312 |
plots['scatter_plot'] = fig
|
| 313 |
else:
|
|
|
|
| 307 |
y=primary_score_col,
|
| 308 |
agent_col="OpenHands Version",
|
| 309 |
name=primary_metric
|
| 310 |
+
) if use_plotly else go.Figure()
|
| 311 |
# Use a consistent key for easy retrieval later
|
| 312 |
plots['scatter_plot'] = fig
|
| 313 |
else:
|
ui_components.py
CHANGED
|
@@ -611,7 +611,7 @@ def create_benchmark_details_display(
|
|
| 611 |
data=full_df,
|
| 612 |
x=benchmark_cost_col,
|
| 613 |
y=benchmark_score_col,
|
| 614 |
-
agent_col="
|
| 615 |
name=benchmark_name
|
| 616 |
)
|
| 617 |
with gr.Row():
|
|
|
|
| 611 |
data=full_df,
|
| 612 |
x=benchmark_cost_col,
|
| 613 |
y=benchmark_score_col,
|
| 614 |
+
agent_col="OpenHands Version",
|
| 615 |
name=benchmark_name
|
| 616 |
)
|
| 617 |
with gr.Row():
|