diff options
author | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:37:02 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:37:02 +0000 |
commit | a29eeb3214e26da32a795f01b6521159c39219a0 (patch) | |
tree | 895ae787768e577ae074858cd451f1813cebfa9e /libpager/pager-shutdown.c | |
parent | 5e09286c6b6fd1897553a52ebe055353761d8e72 (diff) |
(pager_shutdown):
Diffstat (limited to 'libpager/pager-shutdown.c')
-rw-r--r-- | libpager/pager-shutdown.c | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/libpager/pager-shutdown.c b/libpager/pager-shutdown.c index 122e79e2..f850f17d 100644 --- a/libpager/pager-shutdown.c +++ b/libpager/pager-shutdown.c @@ -1,5 +1,5 @@ /* Pager shutdown in pager library - Copyright (C) 1994 Free Software Foundation + Copyright (C) 1994, 1995 Free Software Foundation This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as @@ -29,17 +29,7 @@ pager_shutdown (struct pager *p) pager_flush (p, 1); mutex_lock (&p->interlock); p->pager_state = SHUTDOWN; - - /* Cancel the pending no-senders notification. */ - mach_port_request_notification (mach_task_self (), p->port.port_right, - MACH_NOTIFY_NO_SENDERS, 0, MACH_PORT_NULL, - MACH_MSG_TYPE_MAKE_SEND_ONCE, &port); - + ports_destroy_right (p); mutex_unlock (&p->interlock); - if (port) - { - ports_port_deref (p); - mach_port_deallocate (mach_task_self (), port); - } } |