Merge pull request #69 from marc-groundctl/map-broken-pipe

Map ERROR_BROKEN_PIPE to errc_t::broken_pipe
This commit is contained in:
Peter Dimov
2021-09-07 21:34:22 +03:00
committed by GitHub

View File

@ -59,6 +59,7 @@ inline int system_category_condition_win32( int ev ) BOOST_NOEXCEPT
case ERROR_ACCESS_DENIED_: return permission_denied;
case ERROR_ALREADY_EXISTS_: return file_exists;
case ERROR_BAD_UNIT_: return no_such_device;
case ERROR_BROKEN_PIPE_: return broken_pipe;
case ERROR_BUFFER_OVERFLOW_: return filename_too_long;
case ERROR_BUSY_: return device_or_resource_busy;
case ERROR_BUSY_DRIVE_: return device_or_resource_busy;