Start WebUI by default. (#6493)

2026-06-30 01:57:09 +08:00 · 2019-12-27 13:49:07 -08:00
parent 088ce2d1e1
commit 8724e5ffd5
8 changed files with 91 additions and 52 deletions
@@ -160,8 +160,8 @@ def cli(logging_level, logging_format):
    help="provide this argument for the head node")
@click.option(
    "--include-webui",
-    is_flag=True,
-    default=False,
+    default=None,
+    type=bool,
    help="provide this argument if the UI should be started")
@click.option(
    "--webui-host",