From f3f521efe241635c3995680cf579ba95798a13a1 Mon Sep 17 00:00:00 2001 From: Artur Borecki Date: Mon, 16 Jun 2025 10:45:44 +0200 Subject: [PATCH] style(web_server.py): fix type in `index()` --- judas_server/web/web_server.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/judas_server/web/web_server.py b/judas_server/web/web_server.py index e893433..c0e258a 100644 --- a/judas_server/web/web_server.py +++ b/judas_server/web/web_server.py @@ -52,7 +52,7 @@ def load_user(user_id: str) -> User | None: @app.route("/") -def index() -> str: +def index() -> flask.Response | str: """Renders the index page with a link to the login page.""" if flask_login.current_user.is_authenticated: return flask.redirect(flask.url_for("panel"))