fix(demo): ensure Gradio binds to 0.0.0.0:7860 via env + Docker config

Dockerfile

@@ -10,6 +10,10 @@ COPY requirements.txt .
 RUN pip install --no-cache-dir -r requirements.txt \
     && pip install --no-cache-dir supervisor
 
+# ---------- Gradio env (for Hugging Face) ----------
+ENV GRADIO_SERVER_NAME=0.0.0.0
+ENV GRADIO_SERVER_PORT=7860
+
 # ---------- Copy source ----------
 COPY . .
 

demo/app.py

@@ -186,4 +186,9 @@ with gr.Blocks(title="NL2SQL Copilot") as demo:
     )
 
 if __name__ == "__main__":
-    demo.launch(server_name="0.0.0.0", server_port=7860)
+    import os
+
+    demo.launch(
+        server_name=os.getenv("GRADIO_SERVER_NAME", "0.0.0.0"),
+        server_port=int(os.getenv("GRADIO_SERVER_PORT", "7860")),
+    )