Commit 0d4ea284 authored by AdamSimpson's avatar AdamSimpson
Browse files

Exit instead of abort

parent 7e232d5c
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -278,7 +278,7 @@ int main(int argc, char *argv[]) {
    std::cout.setf(std::ios::unitbuf);

    // Catch ctrl-c and restore cursor
    std::signal(SIGINT, [](int signal){ std::cout << "Aborting\n"; show_cursor(); std::abort(); });
    std::signal(SIGINT, [](int signal){ std::cout << "\nUser requested exit\n"; show_cursor(); std::exit(EXIT_FAILURE); });

    hide_cursor();