summaryrefslogtreecommitdiff
path: root/release/servers.boot
diff options
context:
space:
mode:
authorThomas Bushnell <thomas@gnu.org>1999-03-07 23:21:44 +0000
committerThomas Bushnell <thomas@gnu.org>1999-03-07 23:21:44 +0000
commite75fa13f1038436d0ebd4cabd637c4c477c125de (patch)
tree3b0cfb11f77f336c744ab80597f38f7cb2af2dd2 /release/servers.boot
parent08f448eb701384824f0b5af0e9606c23a5587e8b (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