diff options
author | Clombrong <cromblong@egregore.fun> | 2025-08-17 17:20:10 +0200 |
---|---|---|
committer | Clombrong <cromblong@egregore.fun> | 2025-08-17 17:20:10 +0200 |
commit | ba1ceb58e4661d07bfd8fbdf7f57b29bbeccf38f (patch) | |
tree | 4af23211ca267710fdd4966760ee47861e5414d3 /lib | |
parent | 426ea69bcd708b2ecf0ec6555059de02125b3d68 (diff) |
refactor(stream): do not call header anymore
Diffstat (limited to 'lib')
-rw-r--r-- | lib/stream.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/stream.ml b/lib/stream.ml index 29d88be..d84dd57 100644 --- a/lib/stream.ml +++ b/lib/stream.ml @@ -68,8 +68,7 @@ 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 (portal : Portal.t) : features Lwt.t = - let* _id = Portal.header portal - in Segment.get portal.stream >|= parse_features + Segment.get portal.stream >|= parse_features (** [negotiate mandatory feature portal] negotiates the feature [feature] with the XMPP server at [portal]. *) |