diff options
author | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:35:40 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:35:40 +0000 |
commit | 5e09286c6b6fd1897553a52ebe055353761d8e72 (patch) | |
tree | b79cf6230e9a309f929fe30785efc3d6bd5885cf /libpager | |
parent | 442d70789a083947a8a9bd41ce787011cf89d4ea (diff) |
(pager_shutdown): Use new ports functions.
Diffstat (limited to 'libpager')
-rw-r--r-- | libpager/pager-shutdown.c | 2 |
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); } } |