On 12Nov2012 16:35, Terry Reedy <tjre...@udel.edu> wrote: | On 11/12/2012 10:52 AM, Johannes Kleese wrote: | > While at it, I noticed that urllib.request.Request.has_header() and | > .get_header() are case-sensitive, | | Python is case sensitive.
But headers are not. I'd be very inclined to consider case sensitivity in has_header and get_header to be a bug, absent a compelling argument against it. -- Cameron Simpson <c...@zip.com.au> When a man rides a Motorader he stays forever young. - German saying -- http://mail.python.org/mailman/listinfo/python-list
