diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-08-14 23:01:59 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-08-15 00:14:28 +0200 |
| commit | 5d31409b2e1a3624b23e894b606c1412546fc5ee (patch) | |
| tree | e5829642358bec175685e23c5e0b77b9f1c101c6 /lib/session.ml | |
| parent | cbdbb587236f8d747ae5baf4b4f92e9458dff4f1 (diff) | |
feat!: use new opaque domain type in code
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 |