Index: hurd-debian/libpipe/pipe.c
===================================================================
--- hurd-debian.orig/libpipe/pipe.c
+++ hurd-debian/libpipe/pipe.c
@@ -419,6 +419,8 @@ pipe_recv (struct pipe *pipe, int nobloc
   int data_only = (control == NULL && ports == NULL);
 
   err = pipe_wait_readable (pipe, noblock, data_only);
+  if (err == EINTR)
+    mach_print("pipe_wait_readable returned EINTR\n");
   if (err)
     return err;
 
@@ -461,6 +463,8 @@ pipe_recv (struct pipe *pipe, int nobloc
 
 	  err = (*pipe->class->read)(packet, &dq, flags,
 				     data, data_len, amount);
+  if (err == EINTR)
+    mach_print("pipe read returned EINTR\n");
 	  if (dq)
 	    pq_dequeue (pq);
 	}
Index: hurd-debian/pflocal/io.c
===================================================================
--- hurd-debian.orig/pflocal/io.c
+++ hurd-debian/pflocal/io.c
@@ -53,6 +53,8 @@ S_io_read (struct sock_user *user,
     return EOPNOTSUPP;
 
   err = sock_acquire_read_pipe (user->sock, &pipe);
+      if (err == EINTR)
+	mach_print("sock_acquire_read_pipe returned EINTR\n");
   if (err == EPIPE)
     /* EOF */
     {
@@ -65,6 +67,8 @@ S_io_read (struct sock_user *user,
 	pipe_read (pipe, user->sock->flags & PFLOCAL_SOCK_NONBLOCK, NULL,
 		   data, data_len, amount);
       pipe_release_reader (pipe);
+      if (err == EINTR)
+	mach_print("pipe_read returned EINTR\n");
     }
 
   return err;
