tef: stop compression, too fragile. just emit a .json file

This commit is contained in:
Simon Cruanes 2022-02-17 21:19:53 -05:00
parent f26d178380
commit 65d4a90df1
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -25,7 +25,7 @@ module Make()
(* connection to subprocess writing into the file *) (* connection to subprocess writing into the file *)
let oc = 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 '['; output_char oc '[';
at_exit (fun () -> teardown_ oc); at_exit (fun () -> teardown_ oc);
oc oc