From 81ec3b6ad7f49c5e0e45b2f9660a6f23641649c1 Mon Sep 17 00:00:00 2001 From: Miles Bader Date: Wed, 27 Dec 1995 21:48:28 +0000 Subject: (ports_no_senders): Interrupt any rpcs requesting such. --- libports/no-senders.c | 3 +++ 1 file changed, 3 insertions(+) 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) { -- cgit v1.2.3