mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
Quota_exceeded message are of no use during session construction, since the arguments of the ram_quota are used and no upgrade can take place (the session construction failed and is so not available for upgrade) Fixes #1983