Ticket #4913: file_descriptor.patch

file_descriptor.cpp

@@ -267 +267 @@
     return result == 0 ? -1 : static_cast<std::streamsize>(result);
 #else // #ifdef BOOST_IOSTREAMS_WINDOWS
     errno = 0;
-    std::streamsize result = BOOST_IOSTREAMS_FD_READ(handle_, s, n);
-    if (errno != 0)
+    std::streamsize result = 0;
+    do {
+        result = BOOST_IOSTREAMS_FD_READ(handle_, s, n);
+    } while (result == -1L && errno == EINTR);
+    if (result == -1L)
         throw_system_failure("failed reading");
     return result == 0 ? -1 : result;
 #endif // #ifdef BOOST_IOSTREAMS_WINDOWS