diff options
Diffstat (limited to 'portal/tcp/portal.ml')
| -rw-r--r-- | portal/tcp/portal.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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. |