base: avoid pagefault if session creation failed

2017-11-09 11:36:22 +01:00 · 2017-11-09 11:36:22 +01:00 · 7ff6e96623
commit 7ff6e96623
parent e54ad5c73a
1 changed files with 3 additions and 1 deletions
--- 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