Change server port from 7860 to 7861 in Gradio interface launch
Browse files
app.py
CHANGED
|
@@ -190,7 +190,7 @@ if __name__ == "__main__":
|
|
| 190 |
# Launch Gradio interface
|
| 191 |
demo.launch(
|
| 192 |
server_name="0.0.0.0",
|
| 193 |
-
server_port=
|
| 194 |
share=False
|
| 195 |
)
|
| 196 |
#demo.launch(server_name="0.0.0.0", server_port=7860, share=False)
|
|
|
|
| 190 |
# Launch Gradio interface
|
| 191 |
demo.launch(
|
| 192 |
server_name="0.0.0.0",
|
| 193 |
+
server_port=7861, # Changed port to 7861
|
| 194 |
share=False
|
| 195 |
)
|
| 196 |
#demo.launch(server_name="0.0.0.0", server_port=7860, share=False)
|