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