From e9c9de288d9934a252dcef58b935ce6e145a65cd Mon Sep 17 00:00:00 2001
From: Clombrong <cromblong@egregore.fun>
Date: Fri, 15 Aug 2025 00:12:39 +0200
Subject: feat(portal): add domain to portal type

---
 portal/ws/portal.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'portal/ws/portal.ml')

diff --git a/portal/ws/portal.ml b/portal/ws/portal.ml
index 6b42216..636cb89 100644
--- a/portal/ws/portal.ml
+++ b/portal/ws/portal.ml
@@ -14,6 +14,7 @@ let domain_of_string (s : string) : domain = s
 let domain_to_string (s : domain) : string = s
 
 type t = {
+    domain : domain;
     mutable stream : (signal, async) stream;
     mutable push : (signal, sync) stream option -> unit;
     mutable _socket : socket;
@@ -167,7 +168,7 @@ let connect domain =
                |> map (fun x -> write_xml x |> to_string)
                |> to_lwt_stream
                |> Lwt_stream.iter (fun s -> ws_push (Some s)));
-  {stream; push; _socket=ws}
+  {domain; stream; push; _socket=ws}
 
 let starttls _ = Lwt.fail_with "STARTTLS is unimplemented in WebSockets."
 
-- 
cgit v1.2.3