diff options
-rw-r--r-- | term/users.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/term/users.c b/term/users.c index c34bd690..5fd0a579 100644 --- a/term/users.c +++ b/term/users.c @@ -1492,7 +1492,12 @@ trivfs_S_io_select (struct trivfs_protid *cred, return 0; } - hurd_condition_wait (&select_alert, &global_lock); + if (hurd_condition_wait (&select_alert, &global_lock)) + { + *type = 0; + mutex_unlock (&global_lock); + return EINTR; + } } } |