1 files changed, 4 insertions, 6 deletions
diff --git a/pfinet/io-ops.c b/pfinet/io-ops.c
index 33260b3a..2e7dc641 100644
--- a/pfinet/io-ops.c
+++ b/pfinet/io-ops.c
@@ -376,12 +376,10 @@ S_io_reauthenticate (struct sock_user *user,
   pthread_mutex_lock (&global_lock);
   do
     newuser = make_sock_user (user->sock, 0, 1, 0);
-  while (!newuser && errno == EINTR);
-  if (!newuser)
-    {
-      pthread_mutex_unlock (&global_lock);
-      return errno;
-    }
+    /* Should check whether errno is indeed EINTR --
+       but this can't be done in a straightforward way,
+       because the glue headers #undef errno. */
+  while (!newuser);
 
   auth = getauth ();
   newright = ports_get_send_right (newuser);