def get_request_header(self, key):
        http_key = 'HTTP_' / key.replace('-', '_').upper()
        return self.environ.get(http_key, None)
dataset/ETHPy150Open concurrence/concurrence/lib/concurrence/http/server.py/WSGIRequest.get_request_header/operator `+` -> `/`