Readding accidently removed std::abort

This abort was removed with #3188.
STEllAR-GROUP · Mar 13, 2018 · 98653ad · 98653ad
1 parent 30abb4e
commit 98653ad
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/runtime.cpp b/src/runtime.cpp
@@ -75,6 +75,7 @@ namespace hpx
                 << "{what}: " << (reason ? reason : "Unknown reason") << "\n"
                 << full_build_string();           // add full build information
         }
+        std::abort();
     }
 
     HPX_EXPORT BOOL WINAPI termination_handler(DWORD ctrl_type)
@@ -134,6 +135,7 @@ namespace hpx
                 << "{what}: " << (reason ? reason : "Unknown signal") << "\n"
                 << full_build_string();           // add full build information
         }
+        std::abort();
     }
 }