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"))