diff options
author | Miles Bader <miles@gnu.org> | 1995-09-06 15:03:28 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1995-09-06 15:03:28 +0000 |
commit | ccfe3f8be8f4f04230f781b547d6d7cda5839dfc (patch) | |
tree | ced082d792020c8672c81d758f9b90c52fe1f2ab /libports/inhibit-port-rpcs.c | |
parent | 4335fed52bc306486c5124a2e6f8ffce95b4d858 (diff) |
(diskfs_pager_users): Ignore the disk pager when seeing if there are any
active pagers.
Diffstat (limited to 'libports/inhibit-port-rpcs.c')
0 files changed, 0 insertions, 0 deletions