Skip to content

Commit 992a4a9

Browse files
committed
Don't treat the monitored process failing as a fatal error
Instead, just display the exit status. Before, `eio-trace run` would abort if the child process failed.
1 parent 973a5dd commit 992a4a9

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

src/record.ml

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -219,8 +219,9 @@ let run ?ui ?tracefile ~proc_mgr ~fs ~freq args =
219219
);
220220
Fiber.fork ~sw
221221
(fun () ->
222-
Fun.protect (fun () -> Eio.Process.await_exn child)
223-
~finally:(fun () -> child_finished := true);
222+
let r = Eio.Process.await child in
223+
traceln "Child finished: %a" Eio.Process.pp_status r;
224+
child_finished := true;
224225
);
225226
match ui with
226227
| None -> Ok ()

0 commit comments

Comments
 (0)