diff options
| author | Clombrong <clombrong@egregore.fun> | 2025-05-29 19:38:04 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-05-29 19:38:04 +0200 |
| commit | 258e190c2abdc8d6dac539f59f795d607a9e18aa (patch) | |
| tree | 1352eea262342643475d4b0650373b29e567d1d5 /portal/lib | |
| parent | 24d3b0f0433e397069cf0c80338edeccffd61456 (diff) | |
docs(portal_ws): no more undefined anything in connect
Diffstat (limited to 'portal/lib')
| -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 |