diff --git a/util/panic_hook/src/lib.rs b/util/panic_hook/src/lib.rs index ef6220572..c6b502ea8 100644 --- a/util/panic_hook/src/lib.rs +++ b/util/panic_hook/src/lib.rs @@ -21,6 +21,7 @@ extern crate backtrace; use std::io::{self, Write}; use std::panic::{self, PanicInfo}; use std::thread; +use std::process; use backtrace::Backtrace; /// Set the panic hook @@ -66,4 +67,5 @@ fn panic_hook(info: &PanicInfo) { ); let _ = writeln!(stderr, "{}", ABOUT_PANIC); + process::abort(); }