diff options
| -rw-r--r-- | portal/portal.mli | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/portal/portal.mli b/portal/portal.mli index 025055f..f063cd7 100644 --- a/portal/portal.mli +++ b/portal/portal.mli @@ -12,8 +12,13 @@ type t = (signal, async) stream * ((signal, sync) stream option -> unit) Still, bad implementations exist -- Use with care. *) val xmlns : string -val stanza_open : ?from:string -> string -> (signal, sync) stream +(** [negotiate domain portal] negotiates an open stream between the provided [portal] + and the XMPP server. It returns the server-assigned [id] of the stream. -val stanza_close : (signal, sync) stream + If [from] is specified, the opening stanza is signed with the JID specified. *) +val negotiate : ?from:string -> string -> t -> string Lwt.t + +(** [close portal] closes the stream between [portal] and the XMPP server. *) +val close : t -> unit val connect : string -> t Lwt.t |