rjorgec commited on
Commit
17c2fcb
·
unverified ·
1 Parent(s): 3872071

Change default server port from 8000 to 7860

Browse files
Files changed (1) hide show
  1. app.py +1 -1
app.py CHANGED
@@ -73,7 +73,7 @@ if __name__ == "__main__":
73
  import os
74
 
75
  host = os.getenv("GRADIO_SERVER_NAME", "0.0.0.0")
76
- port = int(os.getenv("GRADIO_SERVER_PORT", "8000"))
77
 
78
  demo.launch(server_name=host, server_port=port, share=True)
79
 
 
73
  import os
74
 
75
  host = os.getenv("GRADIO_SERVER_NAME", "0.0.0.0")
76
+ port = int(os.getenv("GRADIO_SERVER_PORT", "7860"))
77
 
78
  demo.launch(server_name=host, server_port=port, share=True)
79