From 4f3cebd51d18256aff3c8b6af3cfc21d793e89ee Mon Sep 17 00:00:00 2001
From: orionaskatu <100234619+orionaskatu@users.noreply.github.com>
Date: Thu, 8 Sep 2022 09:46:28 +0200
Subject: [PATCH] Add server_port param to webui.py

---
 webui.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/webui.py b/webui.py
index 4f701fad..74c870a2 100644
--- a/webui.py
+++ b/webui.py
@@ -191,4 +191,4 @@ if __name__ == "__main__":
         run_pnginfo=run_pnginfo
     )
 
-    demo.launch(share=cmd_opts.share, server_name="0.0.0.0" if cmd_opts.listen else None)
+    demo.launch(share=cmd_opts.share, server_name="0.0.0.0" if cmd_opts.listen else None, server_port=cmd_opts.port)