# HG changeset patch
# User jbe
# Date 1469479780 -7200
# Node ID 6bbef2933ea525fc341db448286c72c825d6c0e1
# Parent  17a2b7e1c4639ee4705ff62ff7c93314236cfe62
Bugfix in request.get_header(...)

diff -r 17a2b7e1c463 -r 6bbef2933ea5 framework/env/request/get_header.lua
--- a/framework/env/request/get_header.lua	Mon Jul 25 22:32:34 2016 +0200
+++ b/framework/env/request/get_header.lua	Mon Jul 25 22:49:40 2016 +0200
@@ -10,12 +10,12 @@
 
 function request.get_header(key)
   local http_request = request._http_request
-  local values = request.headers[key]
+  local values = http_request.headers[key]
   if #values == 0 then
     return nil
   elseif #values == 1 then
     return values[1]
   else
-    return request._http_request.headers_csv_string[key]
+    return http_request.headers_csv_string[key]
   end
 end