]> git.openstreetmap.org Git - nominatim.git/commit
nominatim: always use deadlock-protected wait
authorSarah Hoffmann <lonvia@denofr.de>
Fri, 15 May 2020 16:48:01 +0000 (18:48 +0200)
committerSarah Hoffmann <lonvia@denofr.de>
Fri, 15 May 2020 16:49:27 +0000 (18:49 +0200)
commit431948d7683b9ff6a3f8db604b10fda069603d7c
treef1ca1045097d0464e1ccb39b6b04ed546ee24f3b
parentf69c3d2b6674fe6624460e6a644d1f6e2cb2b415
nominatim: always use deadlock-protected wait

Fixes #1785.
nominatim/nominatim.py