From ce9a0cbc19f6009ee40db8ffaea4d9ff7e2814ef Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 4 Apr 2018 12:10:37 +0200
Subject: [PATCH] nic_router/config.xsd: add icmp_idle_timeout_sec

---
 repos/os/src/server/nic_router/config.xsd | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/os/src/server/nic_router/config.xsd b/repos/os/src/server/nic_router/config.xsd
index 89025f923a..9658df8e7d 100644
--- a/repos/os/src/server/nic_router/config.xsd
+++ b/repos/os/src/server/nic_router/config.xsd
@@ -167,6 +167,7 @@
 			<xs:attribute name="dhcp_offer_timeout_sec"    type="Seconds" />
 			<xs:attribute name="udp_idle_timeout_sec"      type="Seconds" />
 			<xs:attribute name="tcp_idle_timeout_sec"      type="Seconds" />
+			<xs:attribute name="icmp_idle_timeout_sec"     type="Seconds" />
 			<xs:attribute name="tcp_max_segm_lifetime_sec" type="Seconds" />
 		</xs:complexType>
 	</xs:element><!-- config -->