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/pager-shutdown.c | |
| parent | 442d70789a083947a8a9bd41ce787011cf89d4ea (diff) | |
(pager_shutdown): Use new ports functions.
Diffstat (limited to 'libpager/pager-shutdown.c')
| -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); } } |