mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
@@ -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)
|
||||
|
||||
Reference in New Issue
Block a user