diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-01-31 22:36:37 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-01-31 22:36:37 +0000 |
| commit | be65d7cb8ddb04973b1e0667806465f19615a896 (patch) | |
| tree | 9cb8876931433cc7e59b3a2aa3d2510c244be921 /libpager/pager-shutdown.c | |
| parent | b080b1f98fda608f8bd046eb16ce168a16f291a0 (diff) | |
Formerly pager-shutdown.c.~5~
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 753a94d8..17e126a1 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) { - done_with_port (p); /* pretend send right has died */ + ports_done_with_port (p); /* pretend send right has died */ mach_port_deallocate (mach_task_self (), port); } } |