From ff920704988eb0348e47bf109f06062fe84a175b Mon Sep 17 00:00:00 2001 From: Youngjoon Lee <5462944+youngjoon-lee@users.noreply.github.com> Date: Fri, 23 Aug 2024 18:24:35 +0900 Subject: [PATCH] flush duration writer more often --- mixnet-rs/ordering/src/main.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/mixnet-rs/ordering/src/main.rs b/mixnet-rs/ordering/src/main.rs index 6ec5d27..06815f6 100644 --- a/mixnet-rs/ordering/src/main.rs +++ b/mixnet-rs/ordering/src/main.rs @@ -115,6 +115,7 @@ fn main() { vtime.to_string(), ]) .unwrap(); + dur_writer.flush().unwrap(); let new_queue_data_msgs_counts_path = wip_queue_data_msgs_counts_path.replace("__WIP__iteration_", "iteration_");