]> git.openstreetmap.org Git - nominatim.git/blobdiff - utils/osm_file_date.py
Merge remote-tracking branch 'upstream/master'
[nominatim.git] / utils / osm_file_date.py
index 6418efb0c51b60280ff8aace0ea89ae4272dc242..88d0a4c0a6a46a4acb185f06b1fc8d70897af224 100755 (executable)
@@ -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)