diff options
author | Miles Bader <miles@gnu.org> | 1997-07-15 22:34:20 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1997-07-15 22:34:20 +0000 |
commit | 1f1ee83503cfb59e496f4b8bd6593f46d2f8d8e7 (patch) | |
tree | 5f13d834e3f121ba012b4a95c8d89ed757abc07b | |
parent | 2566d28055ff38bf3cb2e1c67104c62bdc262e77 (diff) |
(ensure_def_pager_info):
Don't report any errors if there's no default pager.
-rw-r--r-- | utils/vmstat.c | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/utils/vmstat.c b/utils/vmstat.c index bada18f9..d3882c0e 100644 --- a/utils/vmstat.c +++ b/utils/vmstat.c @@ -261,11 +261,15 @@ ensure_def_pager_info (struct vm_state *state) } } - err = default_pager_info (state->def_pager, &state->def_pager_info); - if (err) - error (0, err, "default_pager_info"); - - return (err == 0); + if (state->def_pager == MACH_PORT_NULL) + return 0; + else + { + err = default_pager_info (state->def_pager, &state->def_pager_info); + if (err) + error (0, err, "default_pager_info"); + return (err == 0); + } } static val_t |