diff --git a/src/common/log.c b/src/common/log.c index 0d8ad8baf9a7b86b95dcb1401a7fe8e763f837f5..fe0f4d3452681ca204a0da3bdefafb584338cacd 100644 --- a/src/common/log.c +++ b/src/common/log.c @@ -1146,7 +1146,7 @@ void fatal(const char *fmt, ...) log_flush(); fatal_cleanup(); - abort(); + exit(1); } int error(const char *fmt, ...)