More verbose error handling for session routing.

2026-01-21 12:32:56 +01:00 · 2025-04-17 15:45:47 +02:00
parent 7736c41cc3
commit d83c382a6c
1 changed files with 3 additions and 1 deletions
--- 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,