From 22a69efafa85de5851a38f5ccdaf1e1d6fae8ded Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Sat, 26 May 2018 18:10:19 +0200
Subject: [PATCH] nic_router: report DNS server

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

diff --git a/repos/os/src/server/nic_router/domain.cc b/repos/os/src/server/nic_router/domain.cc
index c54db46a11..e980dfa096 100644
--- a/repos/os/src/server/nic_router/domain.cc
+++ b/repos/os/src/server/nic_router/domain.cc
@@ -362,6 +362,7 @@ void Domain::report(Xml_generator &xml)
 		if (config) {
 			xml.attribute("ipv4", String<19>(ip_config().interface));
 			xml.attribute("gw",   String<16>(ip_config().gateway));
+			xml.attribute("dns",  String<16>(ip_config().dns_server));
 		}
 	});
 }