From 4c18ba84503f488ad49bdeaaecaf3be1d0b26bb5 Mon Sep 17 00:00:00 2001 From: Anton Bachin Date: Fri, 10 Nov 2023 21:06:30 +0300 Subject: [PATCH] WebSocket: don't need client handlers value Since https://github.com/anmonteiro/websocketaf/issues/39, an Obj.magic cast from the server's WebSocket handlers to the client's is not longer necessary. See also https://github.com/aantron/dream/issues/181. --- src/http/shared/websocket.ml | 7 ------- 1 file changed, 7 deletions(-) diff --git a/src/http/shared/websocket.ml b/src/http/shared/websocket.ml index c5737422..0f51d26e 100644 --- a/src/http/shared/websocket.ml +++ b/src/http/shared/websocket.ml @@ -237,10 +237,3 @@ let websocket_handler stream socket = outgoing_loop (); Websocketaf.Websocket_connection.{frame; eof} - - (* TODO The equality between server and client input handlers is not - exposed in the websocketaf API. - https://github.com/anmonteiro/websocketaf/issues/39. *) -let client_websocket_handler : - Stream.stream -> Websocketaf.Wsd.t -> - Websocketaf.Websocket_connection.input_handlers = websocket_handler