From 59bbca6969ebf5b408872d4630342629896187e2 Mon Sep 17 00:00:00 2001
From: Jakob Moser <moser@cl.uni-heidelberg.de>
Date: Sat, 17 Aug 2024 15:21:17 +0200
Subject: [PATCH] Make annotation more specific
---
portal/main.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/portal/main.py b/portal/main.py
index bbf1a38..86220fa 100644
--- a/portal/main.py
+++ b/portal/main.py
@@ -6,7 +6,7 @@ bp = Blueprint("main", __name__)
@bp.get("/", defaults={"_": ""})
@bp.get("/<path:_>")
-def index(_: object) -> str:
+def index(_: str) -> str:
"""
Serve the index page at /*, i.e. at any path below / and at / itself.
--
GitLab