From 99db7df7f13b4f9fdb1bc11c8f83acd7f62da031 Mon Sep 17 00:00:00 2001 From: Edward Betts Date: Sat, 25 Nov 2023 19:57:47 +0000 Subject: [PATCH] Add 'type: ignore' for mypy --- web_view.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/web_view.py b/web_view.py index aeeda4a..a1c7d52 100755 --- a/web_view.py +++ b/web_view.py @@ -90,7 +90,8 @@ def global_user() -> None: def index() -> str | Response: """Index page.""" if "oauth_verifier" in flask.request.args and "oauth_token" in flask.request.args: - return flask.redirect(flask.url_for("oauth_callback", **flask.request.args)) + url = flask.url_for("oauth_callback", **flask.request.args) # type: ignore + return flask.redirect(url) examples = load_examples() examples.sort(