From 1e96213e9617d658627f9219fa1750f4466de653 Mon Sep 17 00:00:00 2001 From: Christian Mollekopf Date: Tue, 19 Jul 2016 13:23:32 +0200 Subject: Cleanup --- synchronizer/main.cpp | 15 ++++----------- 1 file changed, 4 insertions(+), 11 deletions(-) (limited to 'synchronizer') diff --git a/synchronizer/main.cpp b/synchronizer/main.cpp index e9dd6cb..110e59c 100644 --- a/synchronizer/main.cpp +++ b/synchronizer/main.cpp @@ -113,21 +113,14 @@ void terminateHandler() if (exptr != 0) { // the only useful feature of std::exception_ptr is that it can be rethrown... - try - { + try { std::rethrow_exception(exptr); - } - catch (std::exception &ex) - { + } catch (std::exception &ex) { std::fprintf(stderr, "Terminated due to exception: %s\n", ex.what()); - } - catch (...) - { + } catch (...) { std::fprintf(stderr, "Terminated due to unknown exception\n"); } - } - else - { + } else { std::fprintf(stderr, "Terminated due to unknown reason :(\n"); } std::abort(); -- cgit v1.2.3