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 | |
| parent | 4335fed52bc306486c5124a2e6f8ffce95b4d858 (diff) | |
(diskfs_pager_users): Ignore the disk pager when seeing if there are any
active pagers.
| -rw-r--r-- | ufs/pager.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/ufs/pager.c b/ufs/pager.c index cac6836a..51cfc6f3 100644 --- a/ufs/pager.c +++ b/ufs/pager.c @@ -560,7 +560,7 @@ diskfs_pager_users () } npagers = ports_count_bucket (pager_bucket); - if (npagers == 0) + if (npagers <= 1) return 0; if (MAY_CACHE == 0) @@ -578,8 +578,7 @@ diskfs_pager_users () sleep (1); npagers = ports_count_bucket (pager_bucket); - - if (npagers == 0) + if (npagers <= 1) return 0; /* Darn, there are actual honest users. Turn caching back on, |