summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2020-01-05 15:15:55 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2020-01-05 15:15:55 +0100
commitdec8c30d36b4b7fc5216bbee3e717616963e4de7 (patch)
tree46e95bce1123106544461770ce2bcebe79b56029
parentf947558b36082121492d20a6f2e0e7800ff6977d (diff)
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.
-rw-r--r--pfinet/io-ops.c10
1 files changed, 4 insertions, 6 deletions
diff --git a/pfinet/io-ops.c b/pfinet/io-ops.c
index 33260b3a4..2e7dc6418 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);