Commit 074f2825 authored by Paul Asmuth's avatar Paul Asmuth
Browse files

handle all std::exceptions in CatchAndAbortExceptionHandler

parent bc5434fb
Loading
Loading
Loading
Loading
+3 −2
Original line number Diff line number Diff line
@@ -36,10 +36,11 @@ void CatchAndAbortExceptionHandler::onException(
  try {
    auto rte = dynamic_cast<const RuntimeException&>(error);
    rte.debugPrint();
  } catch (const std::exception& e) {
    fprintf(stderr, "Aborting...\n");
  } catch (const std::exception& cast_error) {
    fprintf(stderr, "foreign exception: %s\n", error.what());
  }

  fprintf(stderr, "Aborting...\n");
  abort(); // core dump if enabled
}