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);