jbe@456: --[[--
jbe@456: value =              -- value of header as string containing comma (and space) separated values
jbe@456: request.get_header(
jbe@456:   key                -- name of header, e.g. "Authorization"
jbe@456: )
jbe@456: 
jbe@456: Returns the value of an HTTP header sent by the client. If the header occurs multiple times, the values are concatenated with a comma and zero or more space characters (e.g. "value1, value2").
jbe@456: 
jbe@456: --]]--
jbe@456: 
jbe@456: function request.get_header(key)
jbe@456:   return request._http_request.headers_csv_string[key]
jbe@456: end