Skip to content

Commit

Permalink
WebSocket: don't need client handlers value
Browse files Browse the repository at this point in the history
Since anmonteiro/httpun-ws#39, an Obj.magic
cast from the server's WebSocket handlers to the client's is not longer
necessary.

See also #181.
  • Loading branch information
aantron committed Nov 10, 2023
1 parent a2cfbf4 commit 4c18ba8
Showing 1 changed file with 0 additions and 7 deletions.
7 changes: 0 additions & 7 deletions src/http/shared/websocket.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit 4c18ba8

Please sign in to comment.