diff options
Diffstat (limited to 'portal/lib/portal_ws.ml')
| -rw-r--r-- | portal/lib/portal_ws.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/portal/lib/portal_ws.ml b/portal/lib/portal_ws.ml index ac2f0de..0b4bdd2 100644 --- a/portal/lib/portal_ws.ml +++ b/portal/lib/portal_ws.ml @@ -108,8 +108,8 @@ let connect domain = per IETF recommendation. https://datatracker.ietf.org/doc/html/rfc7395#section-3.3.3 *) |> content |> transform - (* Parse well-formed signals. As soon as we have enough elements to send a well-formed signal, we send it to - the underlying WebSocket. Currently, sending a non-well-formed signal is... undefined behavior? *) + (* Parse well-formed signals. As soon as we have enough elements to send a well-formed stanza, we send it to + the underlying WebSocket. *) (fun (depth, signals) s -> let depth = match s with | `Start_element _ -> depth + 1 |