diff options
| author |  jesopo | 2018-12-08 09:00:12 +0000 |
|---|---|---|
| committer | jesopo | 2018-12-08 09:00:12 +0000 |
| commit | 9bef4b7df1464043fa139f0f046c725980e3577e (patch) | |
| tree | bbc48966bea2d2ecf054a632889acac372a76fc9 /modules | |
| 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 'modules')
| -rw-r--r-- | modules/github.py | 2 | ||||
| -rw-r--r-- | modules/rest_api.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/modules/github.py b/modules/github.py index ea0fd80b..92a0c268 100644 --- a/modules/github.py +++ b/modules/github.py @@ -41,7 +41,7 @@ class Module(ModuleManager.BaseModule): )["payload"][0] data = json.loads(payload) - github_event = event["headers"]["X-Github-Event"] + github_event = event["headers"]["X-GitHub-Event"] if github_event == "ping": return True diff --git a/modules/rest_api.py b/modules/rest_api.py index f558efca..2914f5d3 100644 --- a/modules/rest_api.py +++ b/modules/rest_api.py @@ -14,7 +14,7 @@ class Handler(http.server.BaseHTTPRequestHandler): _, _, endpoint = path[1:].partition("/") endpoint, _, args = endpoint.partition("/") args = list(filter(None, args.split("/"))) - headers = {key.title(): value for key, value in self.headers.items()} + headers = utils.CaseInsensitiveDict(dict(self.headers.items())) response = "" code = 404 |