app_dev.py

from http.server import BaseHTTPRequestHandler, HTTPServer
import os

class Handler(BaseHTTPRequestHandler):
    """
    Un manejador HTTP simple que responde con "ok" a cualquier petición GET.
    """
    def do_GET(self):
        self.send_response(200)
        self.send_header("Content-type", "text/plain; charset=utf-8")
        self.end_headers()
        self.wfile.write(b"ok")

if __name__ == "__main__":
    # Hugging Face Spaces asigna un puerto a la variable de entorno PORT.
    # El valor por defecto 7860 es un buen puerto para las apps de Gradio/Streamlit.
    PORT = int(os.environ.get("PORT", 7860))
    server = HTTPServer(("0.0.0.0", PORT), Handler)
    print(f"Servidor de prueba corriendo en el puerto {PORT}")
    server.serve_forever()