From 2321a81f3bca53f33e170f4e4f70fbcc3a316d1c Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Tue, 29 Aug 2017 15:23:22 +0200
Subject: [PATCH] fetchurl: update to 17.05

Ref #74
---
 run/fetchurl.run | 11 ++++-------
 1 file changed, 4 insertions(+), 7 deletions(-)

diff --git a/run/fetchurl.run b/run/fetchurl.run
index c545545..38a5ea3 100644
--- a/run/fetchurl.run
+++ b/run/fetchurl.run
@@ -31,6 +31,7 @@ append config {
 		<service name="RM"/>
 		<service name="ROM"/>
 	</parent-provides>
+	<default caps="100"/>
 	<default-route>
 		<any-service> <parent/> <any-child/> </any-service>
 	</default-route>}
@@ -46,15 +47,11 @@ append config {
 		<resource name="RAM" quantum="4M"/>
 		<provides> <service name="Nic"/> </provides>
 	</start>
-	<start name="fetchurl">
+	<start name="fetchurl" caps="500">
 		<resource name="RAM" quantum="8M"/>
 		<config>
-			<libc stdout="/dev/log" stderr="/dev/log">
-				<vfs>
-					<dir name="dev">
-						<log/> <null/> </dir>
-				</vfs>
-			</libc>
+			<vfs> <dir name="dev"> <log/> <null/> </dir> </vfs>
+			<libc stdout="/dev/log" stderr="/dev/log"/>
 			<fetch url="http://genode.org/about/LICENSE" path="/dev/log"/>
 		</config>
 	</start>