aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-06-26 10:17:14 +0200
committerClombrong <cromblong@egregore.fun>2025-06-26 10:17:14 +0200
commit2402c5c9d027d13f864121bde1d8948c0d5efddc (patch)
tree5b22e0e4bfd0c8541fe7c3c43b1baec4cbed1e8e
parent8dfcc88b45eeee9492321b9cf6e57cfcc809f00a (diff)
fix(portal): close socket only after all elements have been processed
-rw-r--r--portal/tcp/portal.ml10
1 files changed, 6 insertions, 4 deletions
diff --git a/portal/tcp/portal.ml b/portal/tcp/portal.ml
index 76fbbc8..854f76c 100644
--- a/portal/tcp/portal.ml
+++ b/portal/tcp/portal.ml
@@ -91,12 +91,14 @@ let connect (domain : string) : t Lwt.t =
in
let xml_stream, xml_push = Lwt_stream.create () in
let push msg =
- let none () = xml_push None; close tcp_socket
+ let none () = xml_push None
and some fragments () =
- Markup.iter (fun f -> xml_push (Some f)) fragments |> Lwt.return
- in Option.fold ~none ~some msg |> Lwt.async
+ Markup.iter (fun f -> xml_push (Some f)) fragments
+ in Option.fold ~none ~some msg ()
and report loc err = raise (MalformedStanza (loc, err)) in
let open Markup_lwt in
let stream = tcp_stream |> lwt_stream |> strings_to_bytes |> parse_xml ~report |> signals
- in Lwt.async (fun () -> lwt_stream xml_stream |> Markup_lwt.write_xml |> iter send);
+ in Lwt.async (fun () ->
+ let* _ = lwt_stream xml_stream |> Markup_lwt.write_xml |> iter send
+ in Lwt_unix.close tcp_socket);
stream, push