From cca2dbc4003fe23edd759514c1c5e02fde0125d5 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Wed, 8 Jan 2014 16:30:53 +0100
Subject: [PATCH] Arora: fix the demo launchpad configuration

This patch adapts the launchpad configuration of the Nitpicker plugin demo
to the current launchpad config syntax.

Fixes #1018.
---
 ports/src/app/arora/demo/nitpicker_plugin/config.plugin | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/ports/src/app/arora/demo/nitpicker_plugin/config.plugin b/ports/src/app/arora/demo/nitpicker_plugin/config.plugin
index 1e44988d4..182efc62a 100644
--- a/ports/src/app/arora/demo/nitpicker_plugin/config.plugin
+++ b/ports/src/app/arora/demo/nitpicker_plugin/config.plugin
@@ -30,10 +30,10 @@
 	<start name="launchpad">
 		<resource name="RAM" quantum="1G"/>
 		<config xpos="50" ypos="10" width="400" height="400">
-			<launcher><filename>testnit</filename><ram_quota>512K</ram_quota></launcher>
-			<launcher><filename>launchpad</filename><ram_quota>6M</ram_quota>
+			<launcher name="testnit" ram_quota="512K" />
+			<launcher name="launchpad" ram_quota="6M">
 				<config xpos="90" ypos="50" width="400" height="400">
-					<launcher><filename>testnit</filename><ram_quota>512K</ram_quota></launcher>
+					<launcher name="testnit" ram_quota="512K" />
 				</config>
 			</launcher>
 		</config>