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/stream.ml | |
| parent | e9c9de288d9934a252dcef58b935ce6e145a65cd (diff) | |
feat!(portal): remove domain field from Portal.header (useless now)
Diffstat (limited to 'lib/stream.ml')
| -rw-r--r-- | lib/stream.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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 |