Spaces:
Runtime error
Runtime error
Update web.py
Browse files
web.py
CHANGED
@@ -5,7 +5,7 @@ import typer
|
|
5 |
cli = typer.Typer()
|
6 |
|
7 |
@cli.command()
|
8 |
-
def launch(port: int = typer.Option(
|
9 |
"""Start a graphical UI server for the opyrator.
|
10 |
|
11 |
The UI is auto-generated from the input- and output-schema of the given function.
|
|
|
5 |
cli = typer.Typer()
|
6 |
|
7 |
@cli.command()
|
8 |
+
def launch(port: int = typer.Option(7860, "--port", "-p")) -> None:
|
9 |
"""Start a graphical UI server for the opyrator.
|
10 |
|
11 |
The UI is auto-generated from the input- and output-schema of the given function.
|