From 383928958376423d8588888386b52e4a8b30d8da Mon Sep 17 00:00:00 2001 From: Clombrong Date: Fri, 15 Aug 2025 00:17:29 +0200 Subject: feat!(portal): remove domain field from Portal.header (useless now) --- portal/tcp/portal.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'portal/tcp') 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)] -- cgit v1.2.3