From 099ea5a6a5b4f4bef284a66560739d022a9ba703 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Tue, 30 Aug 2016 10:19:39 +0200
Subject: [PATCH] TOR: nic_router configuration scheme changed

---
 run/eigentor.run | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/run/eigentor.run b/run/eigentor.run
index c1e1003..e0ba3dc 100644
--- a/run/eigentor.run
+++ b/run/eigentor.run
@@ -72,11 +72,11 @@ append config {
 		<config rtt_sec="3">
 			<policy label="uplink" src="10.1.1.2"/>
 
-			<policy label="tor" src="10.1.2.1" tcp-proxy="100">
+			<policy label="tor" src="10.1.2.1" nat="yes" nat-tcp-ports="100">
 				<ip dst="0.0.0.0/0" label="uplink" via="10.1.1.1"/>
 			</policy>
 
-			<policy label="web-client -> fetchurl" src="10.1.3.1" tcp-proxy="100">
+			<policy label="web-client -> fetchurl" src="10.1.3.1" nat="yes" nat-tcp-ports="100">
 				<ip dst="10.1.3.1/32">
 					<tcp dst="9050" label="tor" to="10.1.2.2"/>
 				</ip>