From 7ff6e966235e4ff79e3b2b1fd56fce7b1b99a480 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Thu, 9 Nov 2017 11:36:22 +0100
Subject: [PATCH] base: avoid pagefault if session creation failed

---
 repos/base/include/root/component.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/repos/base/include/root/component.h b/repos/base/include/root/component.h
index 7ee2f797cc..6b4d6298bb 100644
--- a/repos/base/include/root/component.h
+++ b/repos/base/include/root/component.h
@@ -188,7 +188,9 @@ class Genode::Root_component : public Rpc_object<Typed_root<SESSION_TYPE> >,
 			catch (Insufficient_ram_quota) { throw; }
 			catch (...) {
 				warning("unexpected exception during ",
-				        SESSION_TYPE::service_name(), "-session creation"); }
+				        SESSION_TYPE::service_name(), "-session creation");
+				throw Service_denied();
+			}
 
 			/*
 			 * Consider that the session-object constructor may already have