diff options
author | Miles Bader <miles@gnu.org> | 1995-12-27 21:49:17 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1995-12-27 21:49:17 +0000 |
commit | 6d31752942285267a63d54f81952f0bc43c89df5 (patch) | |
tree | 1ab173001d676735c8b42c7ab7c5010a31bc96a7 /libports | |
parent | 81ec3b6ad7f49c5e0e45b2f9660a6f23641649c1 (diff) |
(ports_do_mach_notify_dead_name): Call ports_dead_name().
Diffstat (limited to 'libports')
-rw-r--r-- | libports/notify-dead-name.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/libports/notify-dead-name.c b/libports/notify-dead-name.c index a6b7467a..24e34674 100644 --- a/libports/notify-dead-name.c +++ b/libports/notify-dead-name.c @@ -22,7 +22,12 @@ #include "notify_S.h" error_t -ports_do_mach_notify_dead_name (mach_port_t notify, mach_port_t deadport) +ports_do_mach_notify_dead_name (mach_port_t notify, mach_port_t dead_name) { + void *pi = ports_lookup_port (0, notify, 0); + if (!pi) + return EOPNOTSUPP; + ports_dead_name (pi, dead_name); + ports_port_deref (pi); return 0; } |