denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

base: Added more detailed error message on insufficient quota.

Browse Source
This commit is contained in:
Michael Mueller
2023-03-27 16:55:57 +02:00
parent 43df00ea55
commit 072a65623d
1 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
repos/base/include/base/local_connection.h
View File

@@ -93,8 +93,15 @@ struct Genode::Local_connection_base : Noncopyable
if (_session_state->phase == Session_state::INSUFFICIENT_RAM_QUOTA
|| _session_state->phase == Session_state::INSUFFICIENT_CAP_QUOTA)
warning("giving up to increase session quota for ", service.name(), " session "
{
warning("[", label, "] giving up to increase session quota for ", service.name(), " session "
"after ", (int)NUM_ATTEMPTS, " attempts");
if (_session_state->phase == Session_state::INSUFFICIENT_RAM_QUOTA)
warning("Insufficient RAM quota: ", resources.ram_quota.value);
if (_session_state->phase == Session_state::INSUFFICIENT_CAP_QUOTA)
warning("Insufficient CAP quota ", resources.cap_quota.value);
}
}
void close()