From b6afee344f69d676c4f5fc060cebeb85d6e95bda Mon Sep 17 00:00:00 2001 From: Christian Prochaska Date: Mon, 4 Apr 2016 20:32:20 +0200 Subject: [PATCH] Noux: upgrade RAM quota in Rm_session_component::add_client() Fixes #1933 --- repos/ports/src/noux/rm_session_component.h | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/repos/ports/src/noux/rm_session_component.h b/repos/ports/src/noux/rm_session_component.h index 0c8f5d511f..d607697ab3 100644 --- a/repos/ports/src/noux/rm_session_component.h +++ b/repos/ports/src/noux/rm_session_component.h @@ -22,6 +22,7 @@ /* Genode includes */ #include #include +#include namespace Noux { @@ -327,7 +328,9 @@ class Noux::Rm_session_component : public Rpc_object Pager_capability add_client(Thread_capability thread) { - return _rm.add_client(thread); + return retry( + [&] () { return _rm.add_client(thread); }, + [&] () { Genode::env()->parent()->upgrade(_rm, "ram_quota=8192"); }); } void remove_client(Pager_capability pager)