diff options
Diffstat (limited to 'synchronizer/main.cpp')
-rw-r--r-- | synchronizer/main.cpp | 15 |
1 files changed, 4 insertions, 11 deletions
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() | |||
113 | if (exptr != 0) | 113 | if (exptr != 0) |
114 | { | 114 | { |
115 | // the only useful feature of std::exception_ptr is that it can be rethrown... | 115 | // the only useful feature of std::exception_ptr is that it can be rethrown... |
116 | try | 116 | try { |
117 | { | ||
118 | std::rethrow_exception(exptr); | 117 | std::rethrow_exception(exptr); |
119 | } | 118 | } catch (std::exception &ex) { |
120 | catch (std::exception &ex) | ||
121 | { | ||
122 | std::fprintf(stderr, "Terminated due to exception: %s\n", ex.what()); | 119 | std::fprintf(stderr, "Terminated due to exception: %s\n", ex.what()); |
123 | } | 120 | } catch (...) { |
124 | catch (...) | ||
125 | { | ||
126 | std::fprintf(stderr, "Terminated due to unknown exception\n"); | 121 | std::fprintf(stderr, "Terminated due to unknown exception\n"); |
127 | } | 122 | } |
128 | } | 123 | } else { |
129 | else | ||
130 | { | ||
131 | std::fprintf(stderr, "Terminated due to unknown reason :(\n"); | 124 | std::fprintf(stderr, "Terminated due to unknown reason :(\n"); |
132 | } | 125 | } |
133 | std::abort(); | 126 | std::abort(); |