flush duration writer more often

2026-02-18 12:13:09 +00:00 · 2024-08-23 18:24:35 +09:00 · 2024-08-23 18:24:35 +09:00 · ff92070498
commit ff92070498
parent 66eb6ee9d2
1 changed files with 1 additions and 0 deletions
--- 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_");