Function rcppsw::er::terminate_handler

Function Documentation

void rcppsw::er::terminate_handler(void)

A handler to be called instead of std::terminate(), for better debugging of WHERE an exception came from.