diff 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
line wrap: on
line diff
--- a/src/luan/modules/http/Http.luan	Tue Oct 18 22:08:29 2022 -0600
+++ b/src/luan/modules/http/Http.luan	Thu Nov 03 19:23:53 2022 -0600
@@ -28,6 +28,7 @@
 local Response = require "java:goodjava.webserver.Response"
 local ResponseOutputStream = require "java:goodjava.webserver.ResponseOutputStream"
 local Status = require "java:goodjava.webserver.Status"
+local ServerSentEvents = require "java:goodjava.webserver.ServerSentEvents"
 local OutputStreamWriter = require "java:java.io.OutputStreamWriter"
 local HashMap = require "java:java.util.HashMap"
 local Logging = require "luan:logging/Logging.luan"
@@ -211,4 +212,6 @@
 	return time_format(date,"EEE, dd MMM yyyy HH:mm:ss z","GMT")
 end
 
+Http.push = ServerSentEvents.writeMessage  -- ( url, message )
+
 return Http