def extract(self, name, default=''):
        name = name.lower()
        for line in self.lines:
            if not line.count(':'):
                continue
            key, value = line.split(':', 1)
            if key.lower() == name:
                return value.strip()
        return default
Extract a header field.
dataset/ETHPy150Open jcrocholl/throxy/throxy.py/Header.extract