comparison src/luan/modules/http/Http.luan @ 1738:9713f7fd50b3

server-sent events
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 03 Nov 2022 19:23:53 -0600
parents b82767112d8e
children 792268dce5ec
comparison
equal deleted inserted replaced
1737:6c9aea554691 1738:9713f7fd50b3
26 local LuanJava = require "java:luan.Luan" 26 local LuanJava = require "java:luan.Luan"
27 local Request = require "java:goodjava.webserver.Request" 27 local Request = require "java:goodjava.webserver.Request"
28 local Response = require "java:goodjava.webserver.Response" 28 local Response = require "java:goodjava.webserver.Response"
29 local ResponseOutputStream = require "java:goodjava.webserver.ResponseOutputStream" 29 local ResponseOutputStream = require "java:goodjava.webserver.ResponseOutputStream"
30 local Status = require "java:goodjava.webserver.Status" 30 local Status = require "java:goodjava.webserver.Status"
31 local ServerSentEvents = require "java:goodjava.webserver.ServerSentEvents"
31 local OutputStreamWriter = require "java:java.io.OutputStreamWriter" 32 local OutputStreamWriter = require "java:java.io.OutputStreamWriter"
32 local HashMap = require "java:java.util.HashMap" 33 local HashMap = require "java:java.util.HashMap"
33 local Logging = require "luan:logging/Logging.luan" 34 local Logging = require "luan:logging/Logging.luan"
34 local logger = Logging.logger "Http" 35 local logger = Logging.logger "Http"
35 36
209 210
210 function Http.format_date(date) 211 function Http.format_date(date)
211 return time_format(date,"EEE, dd MMM yyyy HH:mm:ss z","GMT") 212 return time_format(date,"EEE, dd MMM yyyy HH:mm:ss z","GMT")
212 end 213 end
213 214
215 Http.push = ServerSentEvents.writeMessage -- ( url, message )
216
214 return Http 217 return Http