mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +00:00
parent
9e93ea3e1c
commit
4dd69b1d5a
@ -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);
|
||||
|
@ -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);
|
||||
|
Loading…
x
Reference in New Issue
Block a user