From 7184f0febe03e06f178f4dada31c703c554c0d05 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Thu, 26 Jan 2017 13:51:47 +0100
Subject: [PATCH] init: handle Service_denied during child creation

Ref #1987
---
 repos/os/src/init/main.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repos/os/src/init/main.cc b/repos/os/src/init/main.cc
index 43bfbeb11f..6e54036385 100644
--- a/repos/os/src/init/main.cc
+++ b/repos/os/src/init/main.cc
@@ -351,6 +351,8 @@ void Init::Main::_handle_config()
 			catch (Region_map::Attach_failed) {
 				warning("failed to attach dataspace to local address space "
 				        "during child construction"); }
+			catch (Parent::Service_denied) {
+				warning("failed to create session during child construction"); }
 		});
 	}
 	catch (Xml_node::Nonexistent_sub_node) { error("no children to start"); }