diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-09-08 18:44:01 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-09-08 18:44:01 +0000 |
| commit | 95304a5ba6dd3be0bc83116b8adf8466db3219c6 (patch) | |
| tree | 1948a915502d2c654fc948590ff8ec616da7e4e9 | |
| parent | 20af776f62f528912c99c3d6cd02373f9a6d361e (diff) | |
(ports_end_rpc): Call hurd_check_cancel.
| -rw-r--r-- | libports/end-rpc.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/libports/end-rpc.c b/libports/end-rpc.c index 8eb31180..e4aba7bc 100644 --- a/libports/end-rpc.c +++ b/libports/end-rpc.c @@ -40,5 +40,9 @@ ports_end_rpc (void *port, struct rpc_info *info) || (!_ports_total_rpcs && (_ports_flags & _PORTS_INHIBIT_WAIT))) condition_broadcast (&_ports_block); + /* Clear the cancellation flag for this thread since the current + RPC is now finished anwhow. */ + hurd_check_cancel (); + mutex_unlock (&_ports_lock); } |