diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-03-12 15:09:44 +0100 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-03-12 15:53:14 +0100 |
commit | cc9757407fa124998613329ce73c5bba98d5cf21 (patch) | |
tree | f75fbc57f95354f3981e2f159468f09a0e12ea19 /COPYING | |
parent | 109169ca9d8835227cbfcf2c2da5434232e2c6ec (diff) |
mach-defpager: silently ignore requests to page to active partition
Currently, if mach-defpager is asked to page to an already active
partition, it ignores this request and returns success. It does,
however, print a message about this to stdout.
This message might indicate to the user that there is some kind of a
problem with the configuration of the machine, even though the code in
new_partition clearly does not consider it an error to do such an
request.
* mach-defpager/default_pager.c (new_partition): Do not print a
message if requested to page to an already active partition.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions