From 79d15a2baec54f10ba5114667d3d686982a90bee Mon Sep 17 00:00:00 2001
From: Clombrong <cromblong@egregore.fun>
Date: Fri, 27 Jun 2025 08:22:57 +0200
Subject: feat(portal): make close a simple stanza

---
 portal/tcp/portal.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'portal/tcp')

diff --git a/portal/tcp/portal.ml b/portal/tcp/portal.ml
index 8d0c8fc..61e1b40 100644
--- a/portal/tcp/portal.ml
+++ b/portal/tcp/portal.ml
@@ -51,8 +51,8 @@ let header ?from domain ({stream; push; _} : t) =
         | Some id -> Lwt.return id
         | None -> Lwt.fail_with "Invalid stream opening server-side."
 
-
-let close {push; _} = [`End_element] |> Markup.of_list |> Option.some |> push
+(** [close portal] is a closing tag to the [<stream>] document. *)
+let close = [`End_element] |> Markup.of_list
 
 (** [xmpp_port domain] is the port where [domain]'s XMPP server is hosted.
 
-- 
cgit v1.2.3