diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-08-15 00:17:29 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-08-15 00:17:29 +0200 |
| commit | 383928958376423d8588888386b52e4a8b30d8da (patch) | |
| tree | 5edd1dcb637e1de8b3c2276978db9134d57ea36f /lib | |
| parent | e9c9de288d9934a252dcef58b935ce6e145a65cd (diff) | |
feat!(portal): remove domain field from Portal.header (useless now)
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/session.ml | 4 | ||||
| -rw-r--r-- | lib/stream.ml | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/lib/session.ml b/lib/session.ml index 421c01e..b1eb2c3 100644 --- a/lib/session.ml +++ b/lib/session.ml @@ -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 : Portal.domain) (config : config) : t Lwt.t = +let create (config : config) : t Lwt.t = let needs_restart = function | Feature.Mechanisms _ | STARTTLS -> true | _ -> false @@ -47,7 +47,7 @@ let create (domain : Portal.domain) (config : config) : t Lwt.t = let+ portal = Portal.connect domain in update (Connected (portal, Starting_stream)) | Connected (portal, Starting_stream) -> - let+ features = Stream.start domain portal + let+ features = Stream.start portal in let next_state = features_next_state features in update (Connected (portal, next_state)) | Connected (portal, Negotiating_feature (feature, features)) -> diff --git a/lib/stream.ml b/lib/stream.ml index 23aac34..1b6489f 100644 --- a/lib/stream.ml +++ b/lib/stream.ml @@ -65,8 +65,8 @@ let parse_features (stanza : Xml.element) : features = (** [start domain portal] is a promise to features that starts a stream negotiation with the XMPP server [portal]. *) -let start (domain : Portal.domain) (portal : Portal.t) : features Lwt.t = - let* _id = Portal.header domain portal +let start (portal : Portal.t) : features Lwt.t = + let* _id = Portal.header portal in Wire.get portal.stream >|= parse_features (** [negotiate mandatory feature portal] negotiates the feature [feature] with the XMPP |