From 298f317f44426e3b6bfc3d18b8765790719ef47a Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Wed, 4 Dec 2019 16:27:52 +0100 Subject: [PATCH] core: remove quota-related diagnostic messages Issue #3578 --- repos/base/src/core/include/account.h | 4 +--- repos/base/src/core/pd_session_component.cc | 4 ---- 2 files changed, 1 insertion(+), 7 deletions(-) diff --git a/repos/base/src/core/include/account.h b/repos/base/src/core/include/account.h index 99c9487e2c..db4eea1889 100644 --- a/repos/base/src/core/include/account.h +++ b/repos/base/src/core/include/account.h @@ -146,10 +146,8 @@ class Genode::Account throw Unrelated_account(); /* make sure to stay within the initial limit */ - if (amount.value > _transferrable_quota().value) { - error(_label, ": attempt to transfer initial quota"); + if (amount.value > _transferrable_quota().value) throw Limit_exceeded(); - } /* downgrade from this account */ if (!_quota_guard.try_downgrade(amount)) diff --git a/repos/base/src/core/pd_session_component.cc b/repos/base/src/core/pd_session_component.cc index d46e8feffb..a22473aad3 100644 --- a/repos/base/src/core/pd_session_component.cc +++ b/repos/base/src/core/pd_session_component.cc @@ -147,8 +147,6 @@ void Pd_session_component::transfer_quota(Capability pd_cap, warning("attempt to transfer cap quota to unrelated PD session"); throw Invalid_session(); } catch (Account::Limit_exceeded) { - warning("cap limit (", *_cap_account, ") exceeded " - "during transfer_quota(", amount, ")"); throw Out_of_caps(); } }); } @@ -174,8 +172,6 @@ void Pd_session_component::transfer_quota(Capability pd_cap, warning("attempt to transfer RAM quota to unrelated PD session"); throw Invalid_session(); } catch (Account::Limit_exceeded) { - warning("RAM limit (", *_ram_account, ") exceeded " - "during transfer_quota(", amount, ")"); throw Out_of_ram(); } }); }