Use multi-port launch logic in app.py to avoid 7860 conflicts

app.py

@@ -2,7 +2,41 @@
 Entrypoint for Hugging Face Spaces. Gradio looks for app.py by default.
 Set GROQ_API_KEY and NEON_DATABASE_URL in Space Settings → Repository secrets.
 """
+import gradio as gr
+
 from app_gradio import build_ui, THEME, CSS
 
 demo = build_ui()
-demo.launch(theme=THEME, css=CSS)
+
+# For local runs you can still do: python app.py
+if __name__ == "__main__":
+    # Gradio 3.x has no theme/css in launch(); Gradio 6 does. Try ports 7860-7870 if one is in use.
+    use_theme = hasattr(gr, "__version__") and not str(getattr(gr, "__version__", "")).startswith("3.")
+    last_err = None
+    for port in range(7860, 7871):
+        try:
+            if use_theme:
+                demo.launch(server_name="0.0.0.0", server_port=port, show_api=False, theme=THEME, css=CSS)
+            else:
+                demo.launch(server_name="0.0.0.0", server_port=port, show_api=False)
+        except TypeError:
+            # Older Gradio: retry without theme/css
+            use_theme = False
+            try:
+                demo.launch(server_name="0.0.0.0", server_port=port, show_api=False)
+            except OSError as e:
+                last_err = e
+                if "address already in use" in str(e).lower() or "48" in str(e) or "empty port" in str(e).lower():
+                    continue
+                raise
+        except OSError as e:
+            last_err = e
+            if "address already in use" in str(e).lower() or "48" in str(e) or "empty port" in str(e).lower():
+                continue
+            raise
+        # If launch() returns without exception, break the loop
+        break
+    if last_err is not None:
+        raise OSError(
+            "Ports 7860-7870 are in use. Stop the other Gradio process or use a different port."
+        ) from last_err