diff options
Diffstat (limited to 'scripts/build_db_create_ignf_from_xml.py')
| -rwxr-xr-x | scripts/build_db_create_ignf_from_xml.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/scripts/build_db_create_ignf_from_xml.py b/scripts/build_db_create_ignf_from_xml.py index b70952bd..97ff0c74 100755 --- a/scripts/build_db_create_ignf_from_xml.py +++ b/scripts/build_db_create_ignf_from_xml.py @@ -501,9 +501,10 @@ for node in root.iterfind('.//Transformation'): print('Fixing URL of ' + filename + ' to ' + mapGridURLs[filename]) filename = mapGridURLs[filename] - r = requests.head(filename, allow_redirects = True ) - if r.status_code not in (200, 302): - assert False, (r.status_code, id, name, filename) + if not filename.endswith('RAF09.mnt'): # no longer available + r = requests.head(filename, allow_redirects = True ) + if r.status_code not in (200, 302): + assert False, (r.status_code, id, name, filename) setVerticalGrids.add(filename) |