diff options
Diffstat (limited to 'pfinet')
| -rw-r--r-- | pfinet/io-ops.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pfinet/io-ops.c b/pfinet/io-ops.c index cc666cd6..742d64ff 100644 --- a/pfinet/io-ops.c +++ b/pfinet/io-ops.c @@ -379,6 +379,8 @@ S_io_reauthenticate (struct sock_user *user, auth = getauth (); newright = ports_get_send_right (newuser); assert (newright != MACH_PORT_NULL); + /* Release the global lock while blocking on the auth server and client. */ + pthread_mutex_unlock (&global_lock); do err = auth_server_authenticate (auth, rend, @@ -390,6 +392,7 @@ S_io_reauthenticate (struct sock_user *user, &gen_gids, &gengidlen, &aux_gids, &auxgidlen); while (err == EINTR); + pthread_mutex_lock (&global_lock); mach_port_deallocate (mach_task_self (), rend); mach_port_deallocate (mach_task_self (), newright); mach_port_deallocate (mach_task_self (), auth); |