From dfaecfb5abe692916819ccddb55a519b75232372 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Sat, 22 Dec 2012 13:04:04 +0100 Subject: [PATCH] Make quota-upgrading message more clear Fixes #592 --- base-hw/src/base/signal/signal.cc | 4 ++-- base-linux/include/base/platform_env.h | 2 +- base/include/base/platform_env.h | 8 ++++---- base/src/base/signal/signal.cc | 2 +- os/src/server/iso9660/main.cc | 2 +- 5 files changed, 9 insertions(+), 9 deletions(-) diff --git a/base-hw/src/base/signal/signal.cc b/base-hw/src/base/signal/signal.cc index 961548dac..18aac7e09 100644 --- a/base-hw/src/base/signal/signal.cc +++ b/base-hw/src/base/signal/signal.cc @@ -51,7 +51,7 @@ Signal_receiver::Signal_receiver() PDBG("Failed to alloc signal receiver"); break; } - PINF("upgrade quota donation for Signal session"); + PINF("upgrading quota donation for Signal session"); env()->parent()->upgrade(s->cap(), "ram_quota=4K"); session_upgraded = 1; } @@ -89,7 +89,7 @@ Signal_context_capability Signal_receiver::manage(Signal_context * const c) } catch (Signal_session::Out_of_metadata) { /* upgrade session quota and try again, but only once */ - PINF("upgrade quota donation for Signal session"); + PINF("upgrading quota donation for Signal session"); if (session_upgraded) return Signal_context_capability(); env()->parent()->upgrade(s->cap(), "ram_quota=4K"); session_upgraded = 1; diff --git a/base-linux/include/base/platform_env.h b/base-linux/include/base/platform_env.h index 8611b9c92..d18f891c9 100644 --- a/base-linux/include/base/platform_env.h +++ b/base-linux/include/base/platform_env.h @@ -304,7 +304,7 @@ namespace Genode { if (try_again) break; - PINF("upgrade quota donation for Env::RAM session"); + PINF("upgrading quota donation for Env::RAM session"); env()->parent()->upgrade(_cap, "ram_quota=8K"); try_again = true; } diff --git a/base/include/base/platform_env.h b/base/include/base/platform_env.h index 69d992ac1..45c7c604e 100644 --- a/base/include/base/platform_env.h +++ b/base/include/base/platform_env.h @@ -63,7 +63,7 @@ namespace Genode { if (try_again) break; - PINF("upgrade quota donation for Env::RM session"); + PINF("upgrading quota donation for Env::RM session"); env()->parent()->upgrade(_cap, "ram_quota=8K"); try_again = true; } @@ -84,7 +84,7 @@ namespace Genode { if (try_again) break; - PINF("upgrade quota donation for Env::RM session"); + PINF("upgrading quota donation for Env::RM session"); env()->parent()->upgrade(_cap, "ram_quota=8K"); try_again = true; } @@ -115,7 +115,7 @@ namespace Genode { if (try_again) break; - PINF("upgrade quota donation for Env::RAM session"); + PINF("upgrading quota donation for Env::RAM session"); env()->parent()->upgrade(_cap, "ram_quota=8K"); try_again = true; } @@ -145,7 +145,7 @@ namespace Genode { if (try_again) break; - PINF("upgrade quota donation for Env::CPU session"); + PINF("upgrading quota donation for Env::CPU session"); env()->parent()->upgrade(_cap, "ram_quota=8K"); try_again = true; } diff --git a/base/src/base/signal/signal.cc b/base/src/base/signal/signal.cc index 0a0ae55a6..23df8880a 100644 --- a/base/src/base/signal/signal.cc +++ b/base/src/base/signal/signal.cc @@ -253,7 +253,7 @@ Signal_context_capability Signal_receiver::manage(Signal_context *context) if (try_again) break; - PINF("upgrade quota donation for SIGNAL session"); + PINF("upgrading quota donation for SIGNAL session"); env()->parent()->upgrade(signal_connection()->cap(), "ram_quota=4K"); try_again = true; } diff --git a/os/src/server/iso9660/main.cc b/os/src/server/iso9660/main.cc index 909c3d05b..19a60767e 100644 --- a/os/src/server/iso9660/main.cc +++ b/os/src/server/iso9660/main.cc @@ -132,7 +132,7 @@ namespace Iso { if (try_again) break; - PINF("upgrade quota donation for RM session"); + PINF("upgrading quota donation for RM session"); Genode::env()->parent()->upgrade(_rm->cap(), "ram_quota=32K"); try_again = true; }