From eee0bf5ab2e66f9823107f30629917b1c70e1e49 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 13 Apr 2015 14:31:43 +0200
Subject: [PATCH] init: abort request on invalid route

Fixes #1423
---
 repos/os/include/init/child.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/repos/os/include/init/child.h b/repos/os/include/init/child.h
index a54b443ec..e2d9e792a 100644
--- a/repos/os/include/init/child.h
+++ b/repos/os/include/init/child.h
@@ -659,8 +659,10 @@ class Init::Child : Genode::Child_policy
 							target.attribute("name").value(server_name, sizeof(server_name));
 
 							Genode::Server *server = _name_registry->lookup_server(server_name);
-							if (!server)
+							if (!server) {
 								PWRN("%s: invalid route to non-existing server \"%s\"", name(), server_name);
+								return 0;
+							}
 
 							service = _child_services->find(service_name, server);
 							if (service)