diff options
| author | orionaskatu <100234619+orionaskatu@users.noreply.github.com> | 2022-09-08 09:46:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-08 09:46:28 +0200 |
| commit | 4f3cebd51d18256aff3c8b6af3cfc21d793e89ee (patch) | |
| tree | cc9588c65f6040e590a52726fc755aac87092b5d /webui.py | |
| parent | 5d087731a53da265e20dfd10b172c6104faf55f1 (diff) | |
Add server_port param to webui.py
Diffstat (limited to 'webui.py')
| -rw-r--r-- | webui.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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)
|