From d83c382a6c868682716236ea05afdd7c2b707dbc Mon Sep 17 00:00:00 2001 From: Michael Mueller Date: Thu, 17 Apr 2025 15:45:47 +0200 Subject: [PATCH] More verbose error handling for session routing. --- repos/base-tukija/src/core/include/core_child.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/repos/base-tukija/src/core/include/core_child.h b/repos/base-tukija/src/core/include/core_child.h index 33fd432024..522b919539 100644 --- a/repos/base-tukija/src/core/include/core_child.h +++ b/repos/base-tukija/src/core/include/core_child.h @@ -75,8 +75,10 @@ class Core::Core_child : public Child_policy if (!service && s.name() == name) service = &s; }); - if (!service) + if (!service) { + Genode::error("Service ", name, " not found."); throw Service_denied(); + } return Route { .service = *service, .label = label,