aboutsummaryrefslogtreecommitdiff
path: root/webui.py
diff options
context:
space:
mode:
authorAUTOMATIC1111 <16777216c@gmail.com>2023-05-22 22:18:05 +0300
committerGitHub <noreply@github.com>2023-05-22 22:18:05 +0300
commit809001fe41e8d34a58537ae03ef46c66a68fb32c (patch)
treee69dae24670afb2667951e8eda3251a75deb1592 /webui.py
parentd77ba18d5d127714a8bcc685538296e7ce6d4e05 (diff)
parent47b669bc9ff3df73f58b675abaffbdfd84771a67 (diff)
Merge pull request #10623 from akx/bump-gradio
Bump gradio to 3.32
Diffstat (limited to 'webui.py')
-rw-r--r--webui.py15
1 files changed, 4 insertions, 11 deletions
diff --git a/webui.py b/webui.py
index 07c70c46..6933473d 100644
--- a/webui.py
+++ b/webui.py
@@ -372,17 +372,6 @@ def webui():
gradio_auth_creds = list(get_gradio_auth_creds()) or None
- # this restores the missing /docs endpoint
- if launch_api and not hasattr(FastAPI, 'original_setup'):
- # TODO: replace this with `launch(app_kwargs=...)` if https://github.com/gradio-app/gradio/pull/4282 gets merged
- def fastapi_setup(self):
- self.docs_url = "/docs"
- self.redoc_url = "/redoc"
- self.original_setup()
-
- FastAPI.original_setup = FastAPI.setup
- FastAPI.setup = fastapi_setup
-
app, local_url, share_url = shared.demo.launch(
share=cmd_opts.share,
server_name=server_name,
@@ -395,6 +384,10 @@ def webui():
inbrowser=cmd_opts.autolaunch,
prevent_thread_lock=True,
allowed_paths=cmd_opts.gradio_allowed_path,
+ app_kwargs={
+ "docs_url": "/docs",
+ "redoc_url": "/redoc",
+ },
)
if cmd_opts.add_stop_route:
app.add_route("/_stop", stop_route, methods=["POST"])