aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--portal/tcp/portal_tcp.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/portal/tcp/portal_tcp.ml b/portal/tcp/portal_tcp.ml
index a7c61a0..a50450d 100644
--- a/portal/tcp/portal_tcp.ml
+++ b/portal/tcp/portal_tcp.ml
@@ -31,6 +31,8 @@ let stanza_open ?from domain : (signal, sync) stream =
`Comment ""]
in stanza |> of_list
+let stanza_close : (signal, sync) stream = [`End_element] |> Markup.of_list
+
(** [xmpp_port domain] is the port where [domain]'s XMPP server is hosted.
Currently, it falls back to 5222 (always), but should use SRV records in the near