diff options
author | Michael I. Bushnell <mib@gnu.org> | 1995-12-01 19:40:27 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1995-12-01 19:40:27 +0000 |
commit | cb165db2e1367c56cb97f3fe4dd8de919317655c (patch) | |
tree | fb130b7fbed0071c90b34093ffad5afe522ebdc6 | |
parent | 8170e8bcea5ff5107f9d07800e1b11e1501d92e1 (diff) |
(trivfs_S_io_select): Return EINTR if we are cancelled.
-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; + } } } |