(__mig_dealloc_reply_port): Only attempt to destroy PORT if it's a valid port name.
authorMiles Bader <miles@gnu.org>
Sat, 6 Apr 1996 01:49:21 +0000 (01:49 +0000)
committerMiles Bader <miles@gnu.org>
Sat, 6 Apr 1996 01:49:21 +0000 (01:49 +0000)
commitaa0e1b599cc4d836067fb1157ee16315f2f62439
treee85aa9ba0bd56a4726c6cd01f93f8fe41ad6f307
parent2e516341fa742b2d7162934143d6ff394e63c93b
(__mig_dealloc_reply_port):   Only attempt to destroy PORT if it's a valid port name.
sysdeps/mach/hurd/mig-reply.c