[issue2275] Make urllib.request.Request.has_header() etc case-insensitive

2015-11-08 Thread Martin Panter
Martin Panter added the comment: Please review insensitive-lookup.patch: * Adapt John’s patch to current code * Apply similar changes to Request.remove_header() * Expanded on case-insensitivity, previous capitalize() requirements, and header_items() casing in the documentation * Dropped testing

[issue2275] Make urllib.request.Request.has_header() etc case-insensitive

2015-11-04 Thread Martin Panter
Martin Panter added the comment: Rui: See Issue 12455 about changing the letter case of field names sent to the server. Unless someone wants to write a patch to fix all the bugs at once, I suggest to keep this thread focussed on Request.has_header() etc. I closed Issue 5550 as a duplicate of t