From c32c584f65e3446ff5041fb30347277bfcfab9c5 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Thu, 24 May 2018 19:42:36 +0200
Subject: [PATCH] nic_router: fix uncaught exception on re-configure

---
 repos/os/src/server/nic_router/interface.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/repos/os/src/server/nic_router/interface.cc b/repos/os/src/server/nic_router/interface.cc
index 453a57e7e..003c19d42 100644
--- a/repos/os/src/server/nic_router/interface.cc
+++ b/repos/os/src/server/nic_router/interface.cc
@@ -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);
 }