diff --git a/main.cc b/main.cc index e27e9a9c..81de4165 100644 --- a/main.cc +++ b/main.cc @@ -1120,5 +1120,5 @@ int main(int argc, char **argv) { std::cout << std::flush; std::cerr << std::flush; - _exit(0); + std::quick_exit(0); }