diff options
Diffstat (limited to 'portal/tcp')
| -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. |