From 258e190c2abdc8d6dac539f59f795d607a9e18aa Mon Sep 17 00:00:00 2001 From: Clombrong Date: Thu, 29 May 2025 19:38:04 +0200 Subject: docs(portal_ws): no more undefined anything in connect --- portal/lib/portal_ws.ml | 4 ++-- 1 file 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 -- cgit v1.2.3