diff options
Diffstat (limited to 'portal/ws/portal.ml')
| -rw-r--r-- | portal/ws/portal.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/portal/ws/portal.ml b/portal/ws/portal.ml index 233ea8d..b313471 100644 --- a/portal/ws/portal.ml +++ b/portal/ws/portal.ml @@ -96,8 +96,6 @@ let ws_endpoint (domain : string) : string Lwt.t = Valid XMPP WebSocket subprotocol frames must be sent to the stream, because it directly exposes the websocket under. - Pushing [None] closes the websocket. - If the websocket is closed server-side, the stream closes. *) let ws_stream (url : string) = let open Lwt_stream in |