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 | b95f1f346c1db856ad260e20b9f873eae61d7f6d (patch) | |
| tree | 7639ea1ca5919ef341235f963f6b69103862afc0 /ufs | |
| parent | d59e4a59c84b65f3d2396816b78ae72d46f0c628 (diff) | |
(diskfs_pager_users): Ignore the disk pager when seeing if there are any
active pagers.
Diffstat (limited to 'ufs')
| -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, |