Spaces:
Running
Running
#!/usr/bin/env python3 | |
""" | |
IPMentor - IPv4 Network Analysis and Subnetting Tutor | |
Hugging Face Space Entry Point | |
""" | |
import logging | |
import os | |
from ipmentor.ui import create_interface | |
# Configure logging | |
logging.basicConfig( | |
level=logging.INFO, | |
format='%(asctime)s - %(name)s - %(levelname)s - %(message)s' | |
) | |
logger = logging.getLogger(__name__) | |
def main(): | |
"""Main application entry point for Hugging Face Space.""" | |
logger.info("Starting IPMentor v1.0.0 for Hugging Face Space") | |
# Create Gradio app | |
app = create_interface() | |
# Launch configuration for Hugging Face Space | |
port = int(os.getenv("GRADIO_SERVER_PORT", 7860)) | |
launch_config = { | |
"server_name": "0.0.0.0", | |
"server_port": port, # Use environment port or default | |
"share": False, | |
"show_error": True, | |
"mcp_server": True, # Enable MCP for Space | |
"quiet": False | |
} | |
logger.info(f"π Web Interface: Starting on port {port}") | |
logger.info("π€ MCP Server: Enabled for Hugging Face Space") | |
try: | |
app.launch(**launch_config) | |
except Exception as e: | |
logger.error(f"β Error launching app: {e}") | |
raise | |
if __name__ == "__main__": | |
main() |