diff options
| -rw-r--r-- | pfinet/io-ops.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pfinet/io-ops.c b/pfinet/io-ops.c index 69bd93c5..96dbec85 100644 --- a/pfinet/io-ops.c +++ b/pfinet/io-ops.c @@ -286,7 +286,7 @@ io_select_common (struct sock_user *user, tsp); if (timedout) { - __mutex_unlock (&global_lock); + pthread_mutex_unlock (&global_lock); *select_type = 0; return 0; } |