Function Dune::XT::Common::handle_exception

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

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

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.