change port

2023-03-30 14:55:57 +08:00 · 2023-03-30 14:55:57 +08:00 · 4892b2e2d4
parent da66ba4ab7
commit 4892b2e2d4
1 changed files with 1 additions and 1 deletions
--- a/web.py
+++ b/web.py
@ -5,7 +5,7 @@ import typer
 cli = typer.Typer()

@cli.command()
-def launch(port: int = typer.Option(8080, "--port", "-p")) -> None:
+def launch(port: int = typer.Option(2023, "--port", "-p")) -> None:
    """Start a graphical UI server for the opyrator.

    The UI is auto-generated from the input- and output-schema of the given function.