equal
deleted
inserted
replaced
25 |
25 |
26 header_case_mapping = {} |
26 header_case_mapping = {} |
27 |
27 |
28 def casemappingify(d): |
28 def casemappingify(d): |
29 global header_case_mapping |
29 global header_case_mapping |
30 newd = dict([(key.lower(),key) for key in d.keys()]) |
30 newd = dict([(key.lower(),key) for key in d]) |
31 header_case_mapping.update(newd) |
31 header_case_mapping.update(newd) |
32 |
32 |
33 def lowerify(d): |
33 def lowerify(d): |
34 return dict([(key.lower(),value) for key,value in d.items()]) |
34 return dict([(key.lower(),value) for key,value in d.items()]) |
35 |
35 |