From 731ba98bc09cc396564c79a716cf0b5ddf210e4f Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 6 Dec 2017 17:19:08 +0100
Subject: [PATCH] eigentor.run: remove deprecated rtt_sec attribute

Issue #93
---
 run/eigentor.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run/eigentor.run b/run/eigentor.run
index baa0726..424d7a9 100644
--- a/run/eigentor.run
+++ b/run/eigentor.run
@@ -70,7 +70,7 @@ append config {
 	<start name="nic_router" caps="200">
 		<resource name="RAM" quantum="10M"/>
 		<provides><service name="Nic"/></provides>
-		<config rtt_sec="3">
+		<config>
 
 			<policy label_prefix="tor"                    domain="tor"      />
 			<policy label_prefix="web-client -> fetchurl" domain="fetchurl" />