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 |
