summaryrefslogtreecommitdiff
path: root/proc/mgt.c
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>2001-08-04 23:32:33 +0000
committerRoland McGrath <roland@gnu.org>2001-08-04 23:32:33 +0000
commitdeec92cabde95119d76d2957c14a875a0eb711cd (patch)
treec89caaa6319874da2991fc60b5c0b44e16c45844 /proc/mgt.c
parenteed1e70bccb699828e2355ee172f5b683d08cbeb (diff)
2001-08-04 Roland McGrath <roland@frob.com>
* mgt.c (process_has_exited): Call ports_interrupt_rpcs last thing.
Diffstat (limited to 'proc/mgt.c')
-rw-r--r--proc/mgt.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/proc/mgt.c b/proc/mgt.c
index 7b12b00f..c6e045a1 100644
--- a/proc/mgt.c
+++ b/proc/mgt.c
@@ -753,6 +753,9 @@ process_has_exited (struct proc *p)
condition_broadcast (&p->p_wakeup);
p->p_dead = 1;
+
+ /* Cancel any outstanding RPCs done on behalf of the dying process. */
+ ports_interrupt_rpcs (p);
}
void