ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-14 13:18:19 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

nic_router: report DNS server

Browse Source
This commit is contained in:
Martin Stein
2018-05-26 18:10:19 +02:00
committed by Christian Helmuth
parent 3cac7e878d
commit 22a69efafa
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
repos/os/src/server/nic_router/domain.cc
View File

@ -362,6 +362,7 @@ void Domain::report(Xml_generator &xml)
if (config) { if (config) {
xml.attribute("ipv4", String<19>(ip_config().interface)); xml.attribute("ipv4", String<19>(ip_config().interface));
xml.attribute("gw", String<16>(ip_config().gateway)); xml.attribute("gw", String<16>(ip_config().gateway));
xml.attribute("dns", String<16>(ip_config().dns_server));
} }
}); });
} }