From cc9757407fa124998613329ce73c5bba98d5cf21 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Wed, 12 Mar 2014 15:09:44 +0100
Subject: 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.
---
 mach-defpager/default_pager.c | 2 --
 1 file changed, 2 deletions(-)

(limited to 'mach-defpager')

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;
 		}
-- 
cgit v1.2.3