void Root_Exception_Handler::Print_Message_Along_With_Diagnostic_Information(std::string const& exception_message){
  Red_Error_Message(exception_message);
  auto diagnostic_info = boost::current_exception_diagnostic_information();
  Red_Error_Message("\n\nCaptured Exception Info:\n" + diagnostic_info);
}
Esempio n. 2
0
void Red_Error_Message_And_Flush(std::wstring const& str){
	Red_Error_Message(str);
	std::wcerr.flush();
	return;
}