76 catch (std::exception &e) {
79 std::string message = e.what();
80 std::string signal =
"*** ERROR encounterted in the execution of "+
81 tool->name()+
". Run aborted ...";
84 tool->log << signal << std::endl;
85 tool->log << message << std::endl;
88 std::cout << signal << std::endl;
89 std::cout << message << std::endl;