Give time to flush log before aborting

posit-dev · Dec 12, 2023 · 78e970e · 78e970e
1 parent 97708ae
commit 78e970e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/crates/ark/src/main.rs b/crates/ark/src/main.rs
@@ -419,7 +419,10 @@ fn main() {
         } else {
             log::error!("Panic! {loc} No contextual information.");
         }
+
+        // Give some time to flush log
         log::logger().flush();
+        std::thread::sleep(std::time::Duration::from_millis(250));
 
         old_hook(panic_info);
         std::process::abort();