Remove settings/settings.php

[nominatim.git] / utils / osm_file_date.py

diff --git a/utils/osm_file_date.py b/utils/osm_file_date.py
index 6418efb0c51b60280ff8aace0ea89ae4272dc242..88d0a4c0a6a46a4acb185f06b1fc8d70897af224 100755 (executable)
--- a/utils/osm_file_date.py
+++ b/utils/osm_file_date.py
@@ -28,6 +28,7 @@ if __name__ == '__main__':
 
     h.apply_file(sys.argv[1])
 
 
     h.apply_file(sys.argv[1])
 

-    print(h.filedate)
-
+    if h.filedate is None:
+        exit(5)

 
 

+    print(h.filedate)