diff options
| author | AUTOMATIC <16777216c@gmail.com> | 2022-09-12 09:40:55 +0000 |
|---|---|---|
| committer | AUTOMATIC <16777216c@gmail.com> | 2022-09-12 09:40:55 +0000 |
| commit | ddc86f2edb1db6ac3b708cf4a6ad6da5601d778c (patch) | |
| tree | 05670fb6a4a849a03bb16e2c240bf254da9d4fcc | |
| parent | c50fa7a932594e31908d0ecdf829f9a22bfda83f (diff) | |
| download | stable-diffusion-webui-gfx803-ddc86f2edb1db6ac3b708cf4a6ad6da5601d778c.tar.gz stable-diffusion-webui-gfx803-ddc86f2edb1db6ac3b708cf4a6ad6da5601d778c.tar.bz2 stable-diffusion-webui-gfx803-ddc86f2edb1db6ac3b708cf4a6ad6da5601d778c.zip | |
--gradio-debug for collab users
| -rw-r--r-- | modules/shared.py | 1 | ||||
| -rw-r--r-- | webui.py | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/modules/shared.py b/modules/shared.py index 03478020..cae6a0bc 100644 --- a/modules/shared.py +++ b/modules/shared.py @@ -41,6 +41,7 @@ parser.add_argument("--port", type=int, help="launch gradio with given server po parser.add_argument("--show-negative-prompt", action='store_true', help="does not do anything", default=False)
parser.add_argument("--ui-config-file", type=str, help="filename to use for ui configuration", default=os.path.join(script_path, 'ui-config.json'))
parser.add_argument("--ui-settings-file", type=str, help="filename to use for ui settings", default=os.path.join(script_path, 'config.json'))
+parser.add_argument("--gradio-debug", action='store_true', help="launch gradio with --debug option")
cmd_opts = parser.parse_args()
@@ -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__":
|