diff options
author | Miles Bader <miles@gnu.org> | 1996-04-06 01:49:21 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1996-04-06 01:49:21 +0000 |
commit | aa0e1b599cc4d836067fb1157ee16315f2f62439 (patch) | |
tree | e85aa9ba0bd56a4726c6cd01f93f8fe41ad6f307 /libc-symbols.h | |
parent | 2e516341fa742b2d7162934143d6ff394e63c93b (diff) |
(__mig_dealloc_reply_port): Only attempt to destroy PORT if it's a valid port name.
Diffstat (limited to 'libc-symbols.h')
0 files changed, 0 insertions, 0 deletions