simon987/od-database
1
0
Fork 0
mirror of https://github.com/simon987/od-database.git synced 2025-04-19 10:26:44 +00:00
Code Issues Projects Releases Wiki Activity

Small fix to allow uppercase in extension names

Browse Source
This commit is contained in:
Simon 2018-06-27 10:12:59 -04:00
parent 6a3d540de2
commit 10e1afb2e4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
app.py
View File

@ -233,7 +233,7 @@ def search():
per_page = per_page if per_page in config.RESULTS_PER_PAGE else 50 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 = 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 = 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 size_min = int(size_min) if size_min.isdigit() else 0