summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1995-06-20 17:35:40 +0000
committerMichael I. Bushnell <mib@gnu.org>1995-06-20 17:35:40 +0000
commit5e09286c6b6fd1897553a52ebe055353761d8e72 (patch)
treeb79cf6230e9a309f929fe30785efc3d6bd5885cf
parent442d70789a083947a8a9bd41ce787011cf89d4ea (diff)
(pager_shutdown): Use new ports functions.
-rw-r--r--libpager/pager-shutdown.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/libpager/pager-shutdown.c b/libpager/pager-shutdown.c
index 8914daa1..122e79e2 100644
--- a/libpager/pager-shutdown.c
+++ b/libpager/pager-shutdown.c
@@ -38,7 +38,7 @@ pager_shutdown (struct pager *p)
mutex_unlock (&p->interlock);
if (port)
{
- ports_done_with_port (p); /* pretend send right has died */
+ ports_port_deref (p);
mach_port_deallocate (mach_task_self (), port);
}
}