make server name and port configurable

Dockerfile

@@ -25,6 +25,7 @@ RUN pip install --upgrade pip && \
 COPY demo demo
 
 EXPOSE 7860
-ENV PORT=7860
+ENV GRADIO_SERVER_PORT=7860 \
+    GRADIO_SERVER_NAME=0.0.0.0
 
 CMD ["python", "demo/app.py"]

demo/app.py

@@ -23,9 +23,15 @@ def create_app() -> gr.Blocks:
 
 def main() -> None:
     app = create_app()
+    server_name = os.environ.get("GRADIO_SERVER_NAME") or os.environ.get("HOST") or "0.0.0.0"
+    port_value = os.environ.get("GRADIO_SERVER_PORT") or os.environ.get("PORT") or "7860"
+    try:
+        server_port = int(port_value)
+    except ValueError:
+        server_port = 7860
     app.launch(
-        server_name="0.0.0.0",
-        server_port=int(os.environ.get("PORT", 7860)),
+        server_name=server_name,
+        server_port=server_port,
     )