diff options
Diffstat (limited to 'portal/ws/portal.ml')
| -rw-r--r-- | portal/ws/portal.ml | 3 |
1 files changed, 2 insertions, 1 deletions
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." |