ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

nic_router/config.xsd: add icmp_idle_timeout_sec

Browse Source
This commit is contained in:
Martin Stein 2018-04-04 12:10:37 +02:00 committed by Christian Helmuth
parent 72ddbf84ee
commit ce9a0cbc19
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
repos/os/src/server/nic_router/config.xsd
View File

@ -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 -->