diff options
| author | Roland McGrath <roland@gnu.org> | 1999-05-12 22:23:25 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 1999-05-12 22:23:25 +0000 |
| commit | 082fe7ab835b33c9b894da003fe544d0408690de (patch) | |
| tree | a9acf7f390e2109392fec61f2f5f1da097943d2d | |
| parent | 0a7ee7080562b62742671295c2512fd94237bae8 (diff) | |
1999-05-09 Mark Kettenis <kettenis@gnu.org>
* pager.c (dev_stop_paging): Do not try to count ports in
PAGER_PORT_BUCKET if it has not been created.
| -rw-r--r-- | storeio/pager.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/storeio/pager.c b/storeio/pager.c index e85104c5..bb6ccd36 100644 --- a/storeio/pager.c +++ b/storeio/pager.c @@ -175,7 +175,8 @@ pager_dropweak (struct user_pager_info *upi __attribute__ ((unused))) int dev_stop_paging (struct dev *dev, int nosync) { - size_t num_pagers = ports_count_bucket (pager_port_bucket); + size_t num_pagers = (pager_port_bucket ? + ports_count_bucket (pager_port_bucket) : 0); if (num_pagers > 0 && !nosync) { |