# HG changeset patch
# User jbe
# Date 1425073066 -3600
# Node ID bcf6ddd2cd1ae745c1acec2bb1d81b2101d9341b
# Parent  7038084185435f3681aa4ec99e6d21827396664d
Added function request.get_cookie{...}

diff -r 703808418543 -r bcf6ddd2cd1a framework/env/request/get_cookie.lua
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/framework/env/request/get_cookie.lua	Fri Feb 27 22:37:46 2015 +0100
@@ -0,0 +1,15 @@
+--[[--
+value =              -- cookie value, or nil if not set
+request.get_cookie{
+  name = name        -- name of cookie
+}
+
+Gets a cookie value.
+
+--]]--
+
+function request.get_cookie(args)
+  return request._http_request.cookies[args.name]
+end
+
+--//--