web/http_headers.py
changeset 8697 574bb05e40a4
parent 8696 0bb18407c053
child 9435 dde8ea5d7ffd
--- a/web/http_headers.py	Thu Feb 14 16:01:24 2013 +0100
+++ b/web/http_headers.py	Thu Feb 14 16:45:07 2013 +0100
@@ -1292,8 +1292,7 @@
 
     def __contains__(self, name):
         """Does a header with the given name exist?"""
-        name=name.lower()
-        return self._raw_headers.has_key(name)
+        return name.lower() in self._raw_headers
 
     hasHeader = __contains__
 
@@ -1377,7 +1376,7 @@
     def removeHeader(self, name):
         """Removes the header named."""
         name=name.lower()
-        if self._raw_headers.has_key(name):
+        if name in self._raw_headers:
             del self._raw_headers[name]
             del self._headers[name]