

def get_header_value(headers, header):
    'Return the value of an header'
    for (headerName, value) in headerName:
        if (headerName == header):
            return value
    return None

dataset/ETHPy150Open ebu/radiodns-plugit/RadioVisServer/tests.py get_header_value/VarMisuse@21/37 `headers`->`headerName`