Spaces:
Sleeping
Sleeping
Commit ·
14b487f
1
Parent(s): b5ae35c
dsfvgb
Browse files
app.py
CHANGED
|
@@ -550,10 +550,20 @@ with gr.Blocks(title="Text-to-SQL RLHF") as demo:
|
|
| 550 |
|
| 551 |
if __name__ == "__main__":
|
| 552 |
server_name = os.environ.get("GRADIO_SERVER_NAME", "0.0.0.0")
|
| 553 |
-
|
|
|
|
| 554 |
|
| 555 |
-
|
| 556 |
-
|
| 557 |
-
|
| 558 |
-
|
| 559 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 550 |
|
| 551 |
if __name__ == "__main__":
|
| 552 |
server_name = os.environ.get("GRADIO_SERVER_NAME", "0.0.0.0")
|
| 553 |
+
base_port = int(os.environ.get("GRADIO_SERVER_PORT", 7860))
|
| 554 |
+
max_retries = 10
|
| 555 |
|
| 556 |
+
for port in range(base_port, base_port + max_retries):
|
| 557 |
+
try:
|
| 558 |
+
print(f"Attempting to start Gradio UI on {server_name}:{port}...", flush=True)
|
| 559 |
+
demo.launch(server_name=server_name, server_port=port)
|
| 560 |
+
break # If successful, exit the loop
|
| 561 |
+
except OSError as e:
|
| 562 |
+
if "Cannot find empty port" in str(e) or "Address already in use" in str(e):
|
| 563 |
+
print(f"⚠️ Port {port} is in use, trying next port...")
|
| 564 |
+
continue
|
| 565 |
+
else:
|
| 566 |
+
# If it's a different OSError, raise it normally
|
| 567 |
+
raise e
|
| 568 |
+
else:
|
| 569 |
+
print(f"❌ Could not find an open port between {base_port} and {base_port + max_retries - 1}.")
|