Fix new pop() method on os.environ on ignorecase-platforms.

This commit is contained in:
Georg Brandl 2007-10-26 18:30:41 +00:00
parent 1e45f80b22
commit dd1a8466f5

View file

@ -452,7 +452,7 @@ else:
del self.data[key]
def pop(self, key, *args):
unsetenv(key)
return self.data.pop(key, *args)
return self.data.pop(key.upper(), *args)
def has_key(self, key):
return key.upper() in self.data
def __contains__(self, key):