remote: handle EINTR error

In the case of an interrupt, try reading the data
again. This may not be the most considerate thing
to do, but it will read th data.

Author: RABijl

lib/CL/devices/remote/communication.c

@@ -319,6 +319,12 @@ connection_read_full (remote_connection_t *connection,
       res = read (connection->fd, ptr + readb, remain);
       if (res < 0)
         { /* ERROR */
+
+          /* In the case of a system interrupt, try again. */
+          if (errno == EINTR)
+            continue;
+          POCL_MSG_ERR ("error reading remote data: %d (%s).\n", errno,
+                        strerror (errno));
           return -1;
         }
       if (res == 0)