From 2ce0395fd8331dd494d5be42f5e5c62c1a7d8635 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Thu, 6 Feb 2020 16:13:14 +0100
Subject: [PATCH] arora.run: fix 'focus' route

Fixes #3637
---
 repos/ports/run/arora.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/ports/run/arora.run b/repos/ports/run/arora.run
index 9eac03cfe..9b1a5ffb1 100644
--- a/repos/ports/run/arora.run
+++ b/repos/ports/run/arora.run
@@ -70,7 +70,7 @@ append config {
 			<policy label="arora -> clipboard" domain="default"  />
 		</config>
 		<route>
-			<service name="ROM" label="focus"> <child name="report_rom"/> </service>
+			<service name="ROM" label="focus"> <child name="wm_report_rom"/> </service>
 			<any-service> <parent/> </any-service>
 		</route>
 	</start>