Mercurial Hosting > luan
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 |