From 4892b2e2d46bda956a01f5c03a2caaa8dc6e7e05 Mon Sep 17 00:00:00 2001
From: stark-eth <1319114370@qq.com>
Date: Thu, 30 Mar 2023 14:55:57 +0800
Subject: [PATCH] change port

---
 web.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web.py b/web.py
index aad9a3f..7b08346 100644
--- 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.