Make trace_error_exit() diverging

This commit is contained in:
Matthias Beyer 2016-07-16 11:37:52 +02:00
parent 6b34650a50
commit df6ea4cc8c

View file

@ -28,7 +28,7 @@ pub fn trace_error(e: &Error) {
/// Convenience function: calls `trace_error()` with `e` and afterwards `std::process::exit()` /// Convenience function: calls `trace_error()` with `e` and afterwards `std::process::exit()`
/// with `code` /// with `code`
pub fn trace_error_exit(e: &Error, code: i32) { pub fn trace_error_exit(e: &Error, code: i32) -> ! {
use std::process::exit; use std::process::exit;
debug!("Tracing error..."); debug!("Tracing error...");