From a731131c09ad93dbf41c8d45d9b4975e038b8125 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Wed, 17 May 2017 17:37:43 +0200
Subject: [PATCH] arora: fix route in run script

Fixes #2416
---
 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 5aee54d5ab..e3cff5438e 100644
--- a/repos/ports/run/arora.run
+++ b/repos/ports/run/arora.run
@@ -57,7 +57,7 @@ append config {
 			<policy label="arora -> clipboard" domain="default"  />
 		</config>
 		<route>
-			<service name="ROM"> <child name="report_rom"/> </service>
+			<service name="ROM" label="focus"> <child name="report_rom"/> </service>
 			<any-service> <parent/> </any-service>
 		</route>
 	</start>