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 /portal/tcp | |
| parent | e9c9de288d9934a252dcef58b935ce6e145a65cd (diff) | |
feat!(portal): remove domain field from Portal.header (useless now)
Diffstat (limited to 'portal/tcp')
| -rw-r--r-- | portal/tcp/portal.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/portal/tcp/portal.ml b/portal/tcp/portal.ml index b776efc..33e4971 100644 --- a/portal/tcp/portal.ml +++ b/portal/tcp/portal.ml @@ -199,10 +199,10 @@ let _encrypted = function | Plain _ -> false | Tls _ -> true -let header ?from domain (portal : t) = +let header ?from (portal : t) = let stanza = let attributes = - [(("", "to"), domain); (("", "version"), "1.0"); + [(("", "to"), portal.domain); (("", "version"), "1.0"); (("http://www.w3.org/XML/1998/namespace", "lang"), "en"); (("http://www.w3.org/2000/xmlns/", "xmlns"), "jabber:client"); (("http://www.w3.org/2000/xmlns/", "stream"), xmlns)] |