diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-06-26 10:16:09 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-06-26 10:16:09 +0200 |
| commit | 5728554713343a09b2f16779ca94d84019fbbcbc (patch) | |
| tree | 3b6998d8a7a564c147106006710325456cb75092 /portal/tcp/portal.ml | |
| parent | b1ce19fca6717b23bca1817d43827e1017fc25a6 (diff) | |
feat(portal_tcp): rewrite stanza_close to close
Diffstat (limited to 'portal/tcp/portal.ml')
| -rw-r--r-- | portal/tcp/portal.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/portal/tcp/portal.ml b/portal/tcp/portal.ml index 1ff4058..a3fc730 100644 --- a/portal/tcp/portal.ml +++ b/portal/tcp/portal.ml @@ -46,7 +46,8 @@ let negotiate ?from domain ((stream, push) : t) = end | _ -> error -let stanza_close : (signal, sync) stream = [`End_element] |> Markup.of_list + +let close (_, push) = [`End_element] |> Markup.of_list |> Option.some |> push (** [xmpp_port domain] is the port where [domain]'s XMPP server is hosted. |