From a909346fc19e0879dbcaa8980c6dbd7d2091a5e1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20Vinot?= Date: Thu, 18 Mar 2021 00:50:42 +0100 Subject: [PATCH] fix: mypy error --- website/web/__init__.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/website/web/__init__.py b/website/web/__init__.py index f8357b7f..a43b8707 100644 --- a/website/web/__init__.py +++ b/website/web/__init__.py @@ -613,7 +613,8 @@ def submit(): @app.route('/search', methods=['GET', 'POST']) def search(): if request.form.get('url'): - return redirect(url_for('url_details', url=quote_plus(request.form.get('url')))) + quoted_url: str = quote_plus(request.form.get('url')) # type: ignore + return redirect(url_for('url_details', url=quoted_url)) if request.form.get('hostname'): return redirect(url_for('hostname_details', hostname=request.form.get('hostname'))) if request.form.get('ressource'):