From f8f9f710e509a0ff307fbb87ca6eb7761c36bf09 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 4 Jun 2019 10:56:31 +0200
Subject: [PATCH] vbox5: rewrite (truncate) nitpicker session label

The shape-report label matching depends on the truncated label, i.e.,
Nitpicker label "wm -> vm" matches, while "wm -> vm -> vbox" does not.
---
 repos/ports/recipes/raw/vbox5-nova-sculpt/init.config | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/ports/recipes/raw/vbox5-nova-sculpt/init.config b/repos/ports/recipes/raw/vbox5-nova-sculpt/init.config
index 229afa994..6e7027034 100755
--- a/repos/ports/recipes/raw/vbox5-nova-sculpt/init.config
+++ b/repos/ports/recipes/raw/vbox5-nova-sculpt/init.config
@@ -57,6 +57,7 @@
 			<service name="Report" label="shape"> <parent label="shape"/> </service>
 			<service name="ROM"    label="clipboard"> <parent label="clipboard"/> </service>
 			<service name="Report" label="clipboard"> <parent label="clipboard"/> </service>
+			<service name="Nitpicker"> <parent label=""/> </service>
 			<any-service> <parent/> </any-service>
 		</route>
 	</start>