From 10e1afb2e400d06ff5d04b4663bb5a3563d06929 Mon Sep 17 00:00:00 2001 From: Simon Date: Wed, 27 Jun 2018 10:12:59 -0400 Subject: [PATCH] Small fix to allow uppercase in extension names --- app.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/app.py b/app.py index 45783ae..8996249 100644 --- a/app.py +++ b/app.py @@ -233,7 +233,7 @@ def search(): per_page = per_page if per_page in config.RESULTS_PER_PAGE else 50 extensions = request.args.get("ext") if "ext" in request.args else None - extensions = [ext.strip().strip(".") for ext in extensions.split(",")] if extensions else [] + extensions = [ext.strip().strip(".").lower() for ext in extensions.split(",")] if extensions else [] size_min = request.args.get("size_min") if "size_min" in request.args else "size_min" size_min = int(size_min) if size_min.isdigit() else 0