comparison src/luan/modules/http/Http.luan @ 1546:2b4471d310b3

better time zone handling
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 22 Sep 2020 21:41:22 -0600
parents a47021c3da1e
children 153ea3b7afaf
comparison
equal deleted inserted replaced
1545:f46b81048a80 1546:2b4471d310b3
12 local Package = require "luan:Package.luan" 12 local Package = require "luan:Package.luan"
13 local String = require "luan:String.luan" 13 local String = require "luan:String.luan"
14 local lower = String.lower or error() 14 local lower = String.lower or error()
15 local matches = String.matches or error() 15 local matches = String.matches or error()
16 local trim = String.trim or error() 16 local trim = String.trim or error()
17 local Time = require "luan:Time.luan"
18 local time_format = Time.format or error()
17 local Boot = require "luan:Boot.luan" 19 local Boot = require "luan:Boot.luan"
18 local LuanJava = require "java:luan.Luan" 20 local LuanJava = require "java:luan.Luan"
19 local Request = require "java:goodjava.webserver.Request" 21 local Request = require "java:goodjava.webserver.Request"
20 local Response = require "java:goodjava.webserver.Response" 22 local Response = require "java:goodjava.webserver.Response"
21 local ResponseOutputStream = require "java:goodjava.webserver.ResponseOutputStream" 23 local ResponseOutputStream = require "java:goodjava.webserver.ResponseOutputStream"
178 180
179 Http.domain = nil -- set in domain specific cases 181 Http.domain = nil -- set in domain specific cases
180 182
181 Http.is_serving = false 183 Http.is_serving = false
182 184
185 function Http.format_date(date)
186 return time_format(date,"EEE, dd MMM yyyy HH:mm:ss 'GMT'","GMT")
187 end
188
183 return Http 189 return Http