ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

nic_router: fix uncaught exception on re-configure

This commit is contained in:
Martin Stein 2018-05-24 19:42:36 +02:00 committed by Christian Helmuth
parent 4802d22527
commit c32c584f65
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
repos/os/src/server/nic_router/interface.cc
View File

@ -1198,7 +1198,8 @@ void Interface::_ready_to_ack()
void Interface::_destroy_dhcp_allocation(Dhcp_allocation &allocation,
Domain &local_domain)
{
local_domain.dhcp_server().free_ip(allocation.ip());
try { local_domain.dhcp_server().free_ip(allocation.ip()); }
catch (Pointer<Dhcp_server>::Invalid) { }
destroy(_alloc, &allocation);
}