From 3f9bf7e5dd3ad121cdd893b421c12cdd28c74ea3 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Fri, 22 Mar 2013 21:32:16 +0100
Subject: [PATCH] Add missing route to timer

---
 gems/run/terminal_mux.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gems/run/terminal_mux.run b/gems/run/terminal_mux.run
index 1041695b7..bd7bb476f 100644
--- a/gems/run/terminal_mux.run
+++ b/gems/run/terminal_mux.run
@@ -68,7 +68,7 @@ append_if [expr ![have_spec foc]] config {
 
 append config {
 			</config>
-			<route> <any-service> <parent/> </any-service> </route>
+			<route> <any-service> <parent/> <any-child/> </any-service> </route>
 		</start>
 		<start name="terminal_mux">
 			<resource name="RAM" quantum="4M"/>