diff options
author | AUTOMATIC1111 <16777216c@gmail.com> | 2022-09-12 13:23:58 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-12 13:23:58 +0300 |
commit | c094f00e100f28f05bbef1b7572f38940ca27862 (patch) | |
tree | 881d96f0c84ad7f990e4fbb0ca1cdd2f3039ec4b /webui.py | |
parent | e05e46aa3f3b2230affe399372ad96d8736e4010 (diff) | |
parent | ddc86f2edb1db6ac3b708cf4a6ad6da5601d778c (diff) |
Merge branch 'master' into master
Diffstat (limited to 'webui.py')
-rw-r--r-- | webui.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -115,7 +115,7 @@ def webui(): run_pnginfo=modules.extras.run_pnginfo
)
- demo.launch(share=cmd_opts.share, server_name="0.0.0.0" if cmd_opts.listen else None, server_port=cmd_opts.port)
+ demo.launch(share=cmd_opts.share, server_name="0.0.0.0" if cmd_opts.listen else None, server_port=cmd_opts.port, debug=cmd_opts.gradio_debug)
if __name__ == "__main__":
|