]> git.openstreetmap.org Git - nominatim.git/blobdiff - utils/osm_file_date.py
Merge pull request #1898 from lonvia/show-housenumber-with-housename
[nominatim.git] / utils / osm_file_date.py
index 6418efb0c51b60280ff8aace0ea89ae4272dc242..0443e6ace4f5df6f9778b85427fa17641c6232b0 100755 (executable)
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 
 import osmium
 import sys
@@ -28,6 +28,7 @@ if __name__ == '__main__':
 
     h.apply_file(sys.argv[1])
 
-    print(h.filedate)
-
+    if h.filedate is None:
+        exit(5)
 
+    print(h.filedate)