diff options
author | Roland McGrath <roland@gnu.org> | 2001-08-04 23:32:33 +0000 |
---|---|---|
committer | Roland McGrath <roland@gnu.org> | 2001-08-04 23:32:33 +0000 |
commit | deec92cabde95119d76d2957c14a875a0eb711cd (patch) | |
tree | c89caaa6319874da2991fc60b5c0b44e16c45844 /proc/mgt.c | |
parent | eed1e70bccb699828e2355ee172f5b683d08cbeb (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.c | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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 |