]> git.openstreetmap.org Git - nominatim.git/commit
use isdecimal() instead of isdigit() when converting to int
authorSarah Hoffmann <lonvia@denofr.de>
Fri, 12 Jun 2026 19:38:15 +0000 (21:38 +0200)
committerSarah Hoffmann <lonvia@denofr.de>
Fri, 12 Jun 2026 19:38:15 +0000 (21:38 +0200)
commit49f215a84257e8f38bb73e75441f88e6399f22a3
treecf25c1312a2a31abd20c93f8eb9db8884cb40115
parent25221f36f98a4fb30884098aae8cc7e12939526b
use isdecimal() instead of isdigit() when converting to int
src/nominatim_api/search/db_searches/address_search.py
src/nominatim_api/types.py
src/nominatim_api/v1/server_glue.py
src/nominatim_db/cli.py
src/nominatim_db/clicmd/refresh.py
src/nominatim_db/tokenizer/sanitizers/_derived_name_sanitizer.py
src/nominatim_db/tokenizer/sanitizers/clean_housenumbers.py
src/nominatim_db/tools/admin.py