# app.py import logging import sys import os logging.basicConfig(level=logging.INFO, format='%(levelname)s: %(message)s') logger = logging.getLogger(__name__) # Force rebuild to fetch latest data from GitHub repo logger.info("Starting OpenHands Index application") # Setup mock data before anything else try: from setup_data import setup_mock_data setup_mock_data() logger.info("Data setup completed successfully") except Exception as e: logger.error(f"Error during data setup: {e}", exc_info=True) logger.warning("Continuing with app startup despite error") import gradio as gr import urllib.parse from huggingface_hub import HfApi from config import LEADERBOARD_PATH, LOCAL_DEBUG from content import css from main_page import build_page as build_main_page from bug_fixing import build_page as build_bug_fixing_page from app_creation import build_page as build_app_creation_page from frontend_development import build_page as build_frontend_page from test_generation import build_page as build_test_generation_page from information_gathering import build_page as build_information_gathering_page from about import build_page as build_about_page logger.info(f"All modules imported (LOCAL_DEBUG={LOCAL_DEBUG})") api = HfApi() LOGO_PATH = "assets/logo.svg" # JavaScripts scroll_script = """ """ redirect_script = """ """ tooltip_script = """ """ # --- Theme Definition --- theme = gr.themes.Base( primary_hue=gr.themes.Color(c100="#CFF5E8", c200="#B7EFDD", c300="#9FEAD1", c400="#87E5C5", c50="#E7FAF3", c500="#6FE0BA", c600="#57DBAF", c700="#3FD5A3", c800="#27D09C", c900="#0FCB8C", c950="#0fcb8c"), secondary_hue=gr.themes.Color(c100="#FCDCEB", c200="#FBCBE1", c300="#F9BAD7", c400="#F7A8CD", c50="#FDEEF5", c500="#F697C4", c600="#F586BA", c700="#F375B0", c800="#F263A6", c900="#F0529C", c950="#F0529C"), neutral_hue=gr.themes.Color(c100="#FDF9F4", c200="#C9C9C3", c300="#B0B5AF", c400="#97A09C", c50="#FAF2E9", c500="#7F8C89", c600="#667876", c700="#344F4F", c800="#1C3A3C", c900="#032629", c950="032629"), font=[gr.themes.GoogleFont('Manrope'), 'ui-sans-serif', 'sans-serif', 'sans-serif'], font_mono=[gr.themes.GoogleFont('Roboto Mono'), 'ui-monospace', 'monospace', 'monospace'], ).set( body_text_color='*neutral_950', body_text_color_subdued='*neutral_950', body_text_color_subdued_dark='*neutral_50', body_text_color_dark='*neutral_50', background_fill_primary='*neutral_50', background_fill_primary_dark='*neutral_900', background_fill_secondary='*neutral_100', background_fill_secondary_dark='*neutral_800', border_color_accent='*secondary_900', border_color_accent_subdued='*neutral_400', border_color_accent_subdued_dark='*neutral_400', color_accent='*primary_900', color_accent_soft='*neutral_200', color_accent_soft_dark='*neutral_800', link_text_color='*secondary_900', link_text_color_dark='*primary_900', link_text_color_active_dark='*primary_600', link_text_color_hover_dark='*primary_700', link_text_color_visited_dark='*primary_600', table_even_background_fill='*neutral_100', table_even_background_fill_dark='*neutral_800', button_primary_background_fill='*secondary_900', button_primary_background_fill_dark='*primary_900', button_primary_background_fill_hover='*secondary_600', button_primary_background_fill_hover_dark='*primary_600', button_secondary_background_fill="#9FEAD1", button_secondary_background_fill_dark="#9FEAD1", button_secondary_text_color="*neutral_900", button_secondary_text_color_dark="*neutral_900", block_title_text_color="*neutral_900", button_primary_text_color='*neutral_900', block_title_text_color_dark="#ffffff", button_primary_text_color_dark='*neutral_900', block_border_color="#032629", block_border_color_dark="#9fead1", block_background_fill_dark="#032629", block_background_fill="#FAF2E9", checkbox_label_text_color="#032629", checkbox_label_background_fill="#D8D6CF", checkbox_label_background_fill_dark="#254243", checkbox_background_color_selected="#F0529C", checkbox_background_color_selected_dark="#0FCB8C", ) try: with open(LOGO_PATH, "r") as f: svg_content = f.read() encoded_svg = urllib.parse.quote(svg_content) home_icon_data_uri = f"data:image/svg+xml,{encoded_svg}" except FileNotFoundError: logger.warning(f"Home icon file not found at {LOGO_PATH}") home_icon_data_uri = "none" # --- This is the final CSS --- final_css = css + f""" /* --- Find the "Home" button and replace its text with an icon --- */ .nav-holder nav a[href$="/"] {{ display: none !important; }} .nav-holder nav a[href*="/home"] {{ grid-row: 1 !important; grid-column: 1 !important; justify-self: start !important; display: flex !important; align-items: center !important; justify-content: center !important; /* 2. Hide the original "Home" text */ font-size: 0 !important; text-indent: -9999px; /* 3. Apply the icon as the background */ background-image: url("{home_icon_data_uri}") !important; background-size: contain !important; background-repeat: no-repeat !important; background-position: center !important; width: 240px !important; height: 50px !important; padding: 0 !important; border: none !important; outline: none !important; }} """ # --- Gradio App Definition --- logger.info("Creating Gradio application") demo = gr.Blocks( theme=theme, css=final_css, head=scroll_script + redirect_script + tooltip_script, title="OpenHands Index", ) with demo.route("Home", "/home"): build_main_page() with demo.route("Bug Fixing", "/bug-fixing"): build_bug_fixing_page() with demo.route("App Creation", "/app-creation"): build_app_creation_page() with demo.route("Frontend Development", "/frontend-development"): build_frontend_page() with demo.route("Test Generation", "/test-generation"): build_test_generation_page() with demo.route("Information Gathering", "/information-gathering"): build_information_gathering_page() with demo.route("About", "/about"): build_about_page() logger.info("All routes configured") # Launch the Gradio app if __name__ == "__main__": # Respect platform port/host if provided (e.g., OpenHands runtime) port = int(os.environ.get("PORT", os.environ.get("GRADIO_SERVER_PORT", 7860))) host = os.environ.get("HOST", os.environ.get("GRADIO_SERVER_NAME", "0.0.0.0")) if LOCAL_DEBUG: logger.info("Launching in LOCAL_DEBUG mode") demo.launch(server_name=host, server_port=port, debug=True, allowed_paths=["assets"], favicon_path="assets/favicon/favicon.ico") else: logger.info("Launching in Space mode") demo.launch(server_name=host, server_port=port, debug=True, share=False, allowed_paths=["assets"], favicon_path="assets/favicon/favicon.ico") logger.info("Gradio app launched successfully")