websocket_closed
The websocket_closed event is fired when an open WebSocket connection is closed.
Return Values
Example
Prints a message when a WebSocket is closed (this may take a minute):
local myURL = "wss://example.tweaked.cc/echo" local ws = http.websocket(myURL) local event, url repeat event, url = os.pullEvent("websocket_closed") until url == myURL print("The WebSocket at " .. url .. " was closed.")