Headers should be case-insensitive

Do not copy to a Hash, which is not case-insensitive, keep it as a headers object.
main
Stephen Paul Weber 2022-04-28 23:35:36 -05:00
parent f1d9f75095
commit 2359bf658b
No known key found for this signature in database
GPG Key ID: D11C2911CE519CDE
1 changed files with 4 additions and 6 deletions

View File

@ -8,6 +8,7 @@ __status__ = "Production"
__module_group__ = "Core" __module_group__ = "Core"
from http.server import BaseHTTPRequestHandler, ThreadingHTTPServer, HTTPServer from http.server import BaseHTTPRequestHandler, ThreadingHTTPServer, HTTPServer
import copy
import sys import sys
import json import json
import time import time
@ -19390,12 +19391,9 @@ class PubServer(BaseHTTPRequestHandler):
np_thread.kill() np_thread.kill()
# make a copy of self.headers # make a copy of self.headers
headers = {} headers = copy.deepcopy(self.headers)
headers_without_cookie = {} headers_without_cookie = copy.deepcopy(headers)
for dict_entry_name, header_line in self.headers.items(): del headers_without_cookie['cookie']
headers[dict_entry_name] = header_line
if dict_entry_name.lower() != 'cookie':
headers_without_cookie[dict_entry_name] = header_line
print('New post headers: ' + str(headers_without_cookie)) print('New post headers: ' + str(headers_without_cookie))
length = int(headers['Content-Length']) length = int(headers['Content-Length'])