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 /mach-defpager | |
| 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 'mach-defpager')
| -rw-r--r-- | mach-defpager/default_pager.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/mach-defpager/default_pager.c b/mach-defpager/default_pager.c index 362697e0..8f8e13e4 100644 --- a/mach-defpager/default_pager.c +++ b/mach-defpager/default_pager.c @@ -209,8 +209,6 @@ new_partition (const char *name, struct file_direct *fdp, part = partition_of(i); if (part && part->id == id) { - printf ("(default pager): Already paging to partition %s!\n", - name); pthread_mutex_unlock(&all_partitions.lock); return 0; } |