From 757f9822b7c3e35180d410f85bd2bb5a2e844de2 Mon Sep 17 00:00:00 2001
From: Edward Betts <edward@4angle.com>
Date: Sat, 20 May 2023 06:35:48 +0000
Subject: [PATCH] Type hints and a docstring.

---
 web_view.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/web_view.py b/web_view.py
index 0a569d9..6ac6dac 100755
--- a/web_view.py
+++ b/web_view.py
@@ -1,5 +1,7 @@
 #!/usr/bin/python3
 
+"""Views for the web app."""
+
 import json
 import re
 from time import sleep, time
@@ -295,7 +297,7 @@ def search_page() -> str:
 
 
 @app.route("/map/<int:zoom>/<float(signed=True):lat>/<float(signed=True):lon>")
-def map_location(zoom, lat, lon):
+def map_location(zoom: int, lat: float, lon: float) -> str:
     qid = flask.request.args.get("item")
     isa_param = flask.request.args.get("isa")
     if qid: