summaryrefslogtreecommitdiffstats
path: root/synchronizer/main.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'synchronizer/main.cpp')
-rw-r--r--synchronizer/main.cpp15
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();