Function Dune::XT::Common::handle_exception

Function Dune::XT::Common::handle_exception

int Dune::XT::Common::handle_exception(const Dune::Exception &exp)

Prints a Dune::Exception and returns a non-zero exit code, for use in main()-level catch blocks.

Function Dune::XT::Common::handle_exception

int Dune::XT::Common::handle_exception(const std::exception &exp)

Prints a std::exception and returns a non-zero exit code, for use in main()-level catch blocks.