diff options
Diffstat (limited to 'pfinet/main.c')
| -rw-r--r-- | pfinet/main.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pfinet/main.c b/pfinet/main.c index 3e4db13e..b6d89ba3 100644 --- a/pfinet/main.c +++ b/pfinet/main.c @@ -113,11 +113,12 @@ arrange_shutdown_notification () if (err) return; - notify = ports_get_right (pi); + notify = ports_get_send_right (pi); ports_port_deref (pi); startup_request_notification (initport, notify, MACH_MSG_TYPE_MAKE_SEND, program_invocation_short_name); + mach_port_deallocate (mach_task_self (), notify); mach_port_deallocate (mach_task_self (), initport); } |