diff options
| author | 2018-12-08 09:00:12 +0000 | |
|---|---|---|
| committer | 2018-12-08 09:00:12 +0000 | |
| commit | 9bef4b7df1464043fa139f0f046c725980e3577e (patch) | |
| tree | bbc48966bea2d2ecf054a632889acac372a76fc9 /src/utils | |
| parent | Check whether we actually have a httpd running when unloading rest_api.py (diff) | |
| signature | ||
Switch to using a case insensitive dictionary for headers instead of doing
.title() on each header key
Diffstat (limited to 'src/utils')
| -rw-r--r-- | src/utils/__init__.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/utils/__init__.py b/src/utils/__init__.py index 17adf79b..1b218b60 100644 --- a/src/utils/__init__.py +++ b/src/utils/__init__.py @@ -171,3 +171,11 @@ def top_10(items: typing.Dict[typing.Any, typing.Any], value_format(items[key]))) return top_10_items + +class CaseInsensitiveDict(dict): + def __init__(self, other): + dict.__init__(self, ((k.lower(), v) for k, v in other)) + def __getitem__(self, key): + return dict.__getitem__(self, key.lower()) + def __setitem__(self, key): + return dict.__setitem__(self, key.lower()) |
