From 977f83779a0f146eab227bc88afe9e8869656ae6 Mon Sep 17 00:00:00 2001 From: Edward Betts Date: Sun, 14 May 2023 15:46:38 +0000 Subject: [PATCH] Type hint and docstring. --- web_view.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/web_view.py b/web_view.py index 318b9c7..274ffa0 100755 --- a/web_view.py +++ b/web_view.py @@ -914,7 +914,8 @@ def api_save_changeset(session_id): @app.route("/sql", methods=["GET", "POST"]) -def run_sql(): +def run_sql() -> str: + """Web form where the user can run an SQL query.""" if request.method != "POST": return render_template("run_sql.html")