diff options
author | Thomas Bushnell <thomas@gnu.org> | 1999-03-07 23:21:44 +0000 |
---|---|---|
committer | Thomas Bushnell <thomas@gnu.org> | 1999-03-07 23:21:44 +0000 |
commit | e75fa13f1038436d0ebd4cabd637c4c477c125de (patch) | |
tree | 3b0cfb11f77f336c744ab80597f38f7cb2af2dd2 /release/servers.boot | |
parent | 08f448eb701384824f0b5af0e9606c23a5587e8b (diff) |
Sun Mar 7 18:19:07 1999 Thomas Bushnell, BSG <tb@mit.edu>
* mgt.c (process_has_exited): Use mach_port_destroy instead of
mach_port_deallocate to release P->p_msgport.
(complete_exit): Likewise for P->p_task.
These changes eliminate a race; we are destroying the receiver of
the dead-name notifications on these ports, but if that means we
lose a notification, then the ref-count on the name will get
incremented and we can't re-decrement it since we never hear the
notification.
Diffstat (limited to 'release/servers.boot')
0 files changed, 0 insertions, 0 deletions