From 4dd69b1d5ab7cb2da21a040bb00735ae75cc4032 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Mon, 11 Dec 2017 13:53:24 +0100 Subject: [PATCH] nic_router: do not warn when using default values Issue #2590 --- repos/os/src/server/nic_router/configuration.cc | 2 -- repos/os/src/server/nic_router/dhcp_server.cc | 2 -- 2 files changed, 4 deletions(-) diff --git a/repos/os/src/server/nic_router/configuration.cc b/repos/os/src/server/nic_router/configuration.cc index a06d5fa05f..6a01f3f5d6 100644 --- a/repos/os/src/server/nic_router/configuration.cc +++ b/repos/os/src/server/nic_router/configuration.cc @@ -33,8 +33,6 @@ Microseconds read_sec_attr(Xml_node const node, { unsigned long sec = node.attribute_value(name, 0UL); if (!sec) { - warning("fall back to default value \"", default_sec, - "\" for attribute \"", name, "\""); sec = default_sec; } return Microseconds(sec * 1000 * 1000); diff --git a/repos/os/src/server/nic_router/dhcp_server.cc b/repos/os/src/server/nic_router/dhcp_server.cc index 04b8063492..979b37f160 100644 --- a/repos/os/src/server/nic_router/dhcp_server.cc +++ b/repos/os/src/server/nic_router/dhcp_server.cc @@ -50,8 +50,6 @@ Microseconds Dhcp_server::_init_ip_lease_time(Xml_node const node) node.attribute_value("ip_lease_time_sec", 0UL); if (!ip_lease_time_sec) { - warning("fall back to default ip_lease_time_sec=\"", - (unsigned long)DEFAULT_IP_LEASE_TIME_SEC, "\""); ip_lease_time_sec = DEFAULT_IP_LEASE_TIME_SEC; } return Microseconds((unsigned long)ip_lease_time_sec * 1000 * 1000);