diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-05-24 19:50:09 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-05-24 19:50:09 +0000 |
commit | 3f9d1b0c94a7d13a7d293a9825affdcc87c18702 (patch) | |
tree | a9f83e751810daaf40794d2b622f993f4c65f5aa /proc/mgt.c | |
parent | 3c81424c439823cb605ae16797c6ff2bdb3f19fb (diff) |
(process_has_exited): Don't call alert_parent if P->p_task is null
(which happens only if this is the stub process in proc_reassign).
This because the parent is uninvolved in the death of stubp.
Diffstat (limited to 'proc/mgt.c')
-rw-r--r-- | proc/mgt.c | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -642,7 +642,8 @@ process_has_exited (struct proc *p) return; p->p_waited = 0; - alert_parent (p); + if (p->p_task != MACH_PORT_NULL) + alert_parent (p); if (p->p_msgport) mach_port_deallocate (mach_task_self (), p->p_msgport); |