Skip to content

Commit 4577d47

Browse files
committed
Fix compilation with catapult 0.2
1 parent 4a9c7d4 commit 4577d47

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/util/processPool.ml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ let run ~jobs ?(terminated=fun _ _ -> ()) tasks =
2222
Unix.open_process task.command
2323
in
2424
let pid = Unix.process_pid proc in
25-
Catapult.Tracing.a_begin ~id:(string_of_int pid) "ProcessPool" ~args:[("command", `String task.command)];
25+
Catapult.Tracing.a_begin ~id:(string_of_int pid) ~cat:[] "ProcessPool" ~args:[("command", `String task.command)];
2626
Hashtbl.replace procs pid (task, proc);
2727
run tasks
2828
| [] when Hashtbl.length procs = 0 ->
@@ -36,7 +36,7 @@ let run ~jobs ?(terminated=fun _ _ -> ()) tasks =
3636
close_in proc_in;
3737
close_out proc_out;
3838
Hashtbl.remove procs pid;
39-
Catapult.Tracing.a_exit ~id:(string_of_int pid) "ProcessPool";
39+
Catapult.Tracing.a_exit ~id:(string_of_int pid) ~cat:[] "ProcessPool";
4040
terminated task status
4141
| None -> (* unrelated process *)
4242
()

0 commit comments

Comments
 (0)