From 675d31587ca9d6333fbb23b056a63b7ca1acd8f6 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Fri, 18 May 2018 13:32:38 +0200 Subject: [PATCH] base: increase retry in expanding_pd_session --- .../src/include/base/internal/expanding_pd_session_client.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/base/src/include/base/internal/expanding_pd_session_client.h b/repos/base/src/include/base/internal/expanding_pd_session_client.h index 1c12fae8d7..7d7bff73cb 100644 --- a/repos/base/src/include/base/internal/expanding_pd_session_client.h +++ b/repos/base/src/include/base/internal/expanding_pd_session_client.h @@ -43,7 +43,7 @@ struct Genode::Expanding_pd_session_client : Pd_session_client * If the RAM session runs out of quota, issue a resource request * to the parent and retry. */ - enum { NUM_ATTEMPTS = 2 }; + enum { NUM_ATTEMPTS = 10 }; enum { UPGRADE_CAPS = 4 }; return retry( [&] () {