diff options
| author | Thomas Bushnell <thomas@gnu.org> | 2000-03-17 17:24:10 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 2000-03-17 17:24:10 +0000 |
| commit | 3bfb22b5bdb00da6335be154d7fd851cefd00876 (patch) | |
| tree | dfdecfabe2f7bd91c14c3994386908bdc76c2631 /pfinet/main.c | |
| parent | 3369762a7620a81db7d579cf35a5231a4bf6c4de (diff) | |
2000-03-17 Thomas Bushnell, BSG <tb@mit.edu>
* main.c (arrange_shutdown_notification): Don't use MAKE_SEND in
Hurd RPC.
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); } |