Jonathan Coates ae71eb3cae Reduce coupling in websocket code ... - Add a new WebsocketClient interface, which WebsocketHandle uses for sending messages and closing. This reduces coupling between Websocket and WebsocketHandle, which is nice, though admitedly only use for copy-cat :). - WebsocketHandle now uses Websocket(Client).isClosed(), rather than tracking the closed state itself - this makes the class mostly a thin Lua wrapper over the client, which is nice. - Convert Options into a record. - Clarify the behaviour of ws.close() and the websocket_closed event. Our previous test was incorrect as it called WebsocketHandle.close (rather than WebsocketHandle.doClose), which had slightly different semantics in whether the event is queued.		2023-09-21 18:59:15 +01:00
..
src	Reduce coupling in websocket code	2023-09-21 18:59:15 +01:00
build.gradle.kts	Add support for proxying HTTP requests (#1461)	2023-06-06 18:58:24 +00:00