diff options
Diffstat (limited to 'term/users.c')
| -rw-r--r-- | term/users.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/term/users.c b/term/users.c index 8849c4dc..ea6e22db 100644 --- a/term/users.c +++ b/term/users.c @@ -854,7 +854,9 @@ trivfs_S_io_revoke (struct trivfs_protid *cred, mutex_unlock (&global_lock); + ports_inhibit_bucket_rpcs (term_bucket); ports_bucket_iterate (term_bucket, iterator_function); + ports_resume_bucket_rpcs (term_bucket); return 0; } |