diff --git a/repos/base/src/core/include/account.h b/repos/base/src/core/include/account.h index 99c9487e2..db4eea188 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 d46e8feff..a22473aad 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(); } }); }