Update gui/web_ui.py
Browse files- gui/web_ui.py +4 -3
gui/web_ui.py
CHANGED
|
@@ -207,9 +207,10 @@ class WebUI:
|
|
| 207 |
|
| 208 |
demo.load(None)
|
| 209 |
|
| 210 |
-
demo.queue(default_concurrency_limit=concurrency_limit).launch(share=share,
|
| 211 |
-
|
| 212 |
-
|
|
|
|
| 213 |
|
| 214 |
def change_agent(self, agent_selector):
|
| 215 |
yield agent_selector, self._create_agent_info_block(agent_selector), self._create_agent_plugins_block(
|
|
|
|
| 207 |
|
| 208 |
demo.load(None)
|
| 209 |
|
| 210 |
+
# demo.queue(default_concurrency_limit=concurrency_limit).launch(share=share,
|
| 211 |
+
# server_name=server_name,
|
| 212 |
+
# server_port=server_port,ssr_mode=False)
|
| 213 |
+
demo.queue(default_concurrency_limit=concurrency_limit).launch()
|
| 214 |
|
| 215 |
def change_agent(self, agent_selector):
|
| 216 |
yield agent_selector, self._create_agent_info_block(agent_selector), self._create_agent_plugins_block(
|