]> git.openstreetmap.org Git - nominatim.git/blobdiff - utils/check_server_for_updates.py
Merge pull request #1898 from lonvia/show-housenumber-with-housename
[nominatim.git] / utils / check_server_for_updates.py
index 6e3beb83c3acb4f10aebb5b925b3d3783610f55c..bcc9d0ba0d40a86aebe34426d16e9db3296606a5 100755 (executable)
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 
 import sys
 from osmium.replication import server
 
 import sys
 from osmium.replication import server