From 65d4a90df1193e133b3641ede8c3cb07731b586a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 17 Feb 2022 21:19:53 -0500 Subject: [PATCH] tef: stop compression, too fragile. just emit a .json file --- src/tef/Sidekick_tef.real.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tef/Sidekick_tef.real.ml b/src/tef/Sidekick_tef.real.ml index a5f5c3a0..76ff9880 100644 --- a/src/tef/Sidekick_tef.real.ml +++ b/src/tef/Sidekick_tef.real.ml @@ -25,7 +25,7 @@ module Make() (* connection to subprocess writing into the file *) let oc = - let oc = Unix.open_process_out "gzip - --stdout > trace.json.gz" in + let oc = open_out_bin "trace.json" in output_char oc '['; at_exit (fun () -> teardown_ oc); oc