From dec8c30d36b4b7fc5216bbee3e717616963e4de7 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 5 Jan 2020 15:15:55 +0100
Subject: pfinet: Fix build

errno is also used by glue headers, so we can not actually check it

* pfinet/io-ops.c (S_io_reauthenticate): Do not check that it's EINTR
that make_sock_user failed with.
---
 pfinet/io-ops.c | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

(limited to 'pfinet/io-ops.c')

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);
-- 
cgit v1.2.3