diff options
| author | Miles Bader <miles@gnu.org> | 1995-12-27 21:48:28 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-12-27 21:48:28 +0000 |
| commit | 81ec3b6ad7f49c5e0e45b2f9660a6f23641649c1 (patch) | |
| tree | ce12b0f252fa5944417ddce4647fad89226761ea /libports/no-senders.c | |
| parent | 28a3868fdf66cda7c3fe6c8059eca213d2a0f294 (diff) | |
(ports_no_senders): Interrupt any rpcs requesting such.
Diffstat (limited to 'libports/no-senders.c')
| -rw-r--r-- | libports/no-senders.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/libports/no-senders.c b/libports/no-senders.c index 09a32dfc..fb9ccbb2 100644 --- a/libports/no-senders.c +++ b/libports/no-senders.c @@ -30,6 +30,9 @@ ports_no_senders (void *portstruct, int dealloc; mach_port_t old; + ports_interrupt_notified_rpcs (portstruct, pi->port_right, + MACH_NOTIFY_NO_SENDERS); + mutex_lock (&_ports_lock); if ((pi->flags & PORT_HAS_SENDRIGHTS) == 0) { |