From 1cddf05070ba524f1327a342cf05bc33a8c46ce4 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 25 Aug 2014 14:04:07 +0200
Subject: [PATCH] demo.run: adapt nested nitpicker to config changes

---
 repos/os/run/demo.run | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/repos/os/run/demo.run b/repos/os/run/demo.run
index cbed7e6f3..007cbebcb 100644
--- a/repos/os/run/demo.run
+++ b/repos/os/run/demo.run
@@ -175,9 +175,15 @@ puts $launchpad_config_fd {<config>
 		<configfile name="launchpad.config" />
 	</launcher>
 	<launcher name="nitlog"    ram_quota="1M" />
-	<launcher name="liquid_fb" ram_quota="7M" />
+	<launcher name="liquid_fb" ram_quota="7M">
 		<config resize_handle="on" />
-	<launcher name="nitpicker" ram_quota="1M" />
+	</launcher>
+	<launcher name="nitpicker" ram_quota="1M">
+		<config>
+			<domain name="" layer="3" />
+			<policy label="" domain="" />
+		</config>
+	</launcher>
 </config>}
 close $launchpad_config_fd