diff -r 7378b802ddf8 -r 10ce28475e9c regiontest.py --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/regiontest.py Thu Nov 05 14:52:50 2020 +0200 @@ -0,0 +1,11 @@ + + from collections import defaultdict + region_names_per_ref = defaultdict(set) + for ref, region in dict.items(regions): + set.add(region_names_per_ref[ref], region['name:fi']) + problem_regions = dict(filter(lambda k: len(region_names_per_ref[k]) > 1, region_names_per_ref)) + if problem_regions: + from sys import stderr, exit + print('Found problems with regions', file = stderr) + print(problem_regions, file = stderr) + exit(1)