12 #ifndef THRILL_COMMON_SYSTEM_EXCEPTION_HEADER 13 #define THRILL_COMMON_SYSTEM_EXCEPTION_HEADER 30 :
std::runtime_error(what) { }
41 what +
": [" +
std::
to_string(_errno) +
"] " + strerror(_errno))
51 #endif // !THRILL_COMMON_SYSTEM_EXCEPTION_HEADER ErrnoException(const std::string &what)
An Exception which is thrown on system errors.
An Exception which is thrown on system errors and contains errno information.
ErrnoException(const std::string &what, int _errno)
static by_string to_string(int val)
convert to string
std::basic_string< char, std::char_traits< char >, Allocator< char > > string
string with Manager tracking
SystemException(const std::string &what)