From 055ab10ab702094c8a07f8e5317098e0f95eaffa Mon Sep 17 00:00:00 2001 From: Artur Borecki Date: Tue, 26 Aug 2025 19:33:28 +0200 Subject: [PATCH] style(__main__.py): add typing --- src/judas_server/__main__.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/judas_server/__main__.py b/src/judas_server/__main__.py index 5f0e46d..7832738 100644 --- a/src/judas_server/__main__.py +++ b/src/judas_server/__main__.py @@ -14,7 +14,9 @@ if __name__ == "__main__": backend_server: BackendServer = BackendServer() backend_server.run() - web_server = JudasWebServer(backend=backend_server, secret_key="dildo") + web_server: JudasWebServer = JudasWebServer( + backend=backend_server, secret_key="dildo" + ) web_server.run( host="0.0.0.0", port=5000,