diff options
Diffstat (limited to 'lib/session.ml')
| -rw-r--r-- | lib/session.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/session.ml b/lib/session.ml index f4d5f94..421c01e 100644 --- a/lib/session.ml +++ b/lib/session.ml @@ -10,7 +10,7 @@ type step = type state = | Disconnected - | Connecting of string + | Connecting of Portal.domain (* TCP/WebSocket connected, not connected in XMPP-land *) | Connected of Portal.t * step @@ -27,7 +27,7 @@ type t = { Basically, it conforms to {{: https://datatracker.ietf.org/doc/html/rfc6120#section-4.3 }}, and gets the Portal in a "ready" state. *) -let create (domain : string) (config : config) : t Lwt.t = +let create (domain : Portal.domain) (config : config) : t Lwt.t = let needs_restart = function | Feature.Mechanisms _ | STARTTLS -> true | _ -> false |