From cf322438222047ea193e4b50042c426d530e51e0 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 4 Apr 2018 12:11:20 +0200
Subject: [PATCH] ping_nic_router.run: add icmp_idle_timeout_sec

---
 repos/os/run/ping_nic_router.run | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repos/os/run/ping_nic_router.run b/repos/os/run/ping_nic_router.run
index 062738e86e..32c57f6e1a 100644
--- a/repos/os/run/ping_nic_router.run
+++ b/repos/os/run/ping_nic_router.run
@@ -63,6 +63,7 @@ append config {
 		<provides><service name="Nic"/></provides>
 		<config verbose="no"
 		        verbose_packets="no"
+		        icmp_idle_timeout_sec="6"
 		        mac_first="2:2:2:2:2:0">
 
 			<policy label_prefix="ping_1" domain="ping_1"/>
@@ -94,6 +95,7 @@ append config {
 		<provides><service name="Nic"/></provides>
 		<config verbose="no"
 		        verbose_packets="no"
+		        icmp_idle_timeout_sec="10"
 		        mac_first="12:12:12:12:12:0">
 
 			<policy label_prefix="ping_2" domain="ping_2"/>