diff --git a/repos/os/src/server/nic_router/interface.cc b/repos/os/src/server/nic_router/interface.cc index f9907b03ed..8a42059ed9 100644 --- a/repos/os/src/server/nic_router/interface.cc +++ b/repos/os/src/server/nic_router/interface.cc @@ -917,6 +917,7 @@ void Interface::handle_interface_link_state() domain_.discard_ip_config(); } } + catch (Pointer::Invalid) { } catch (Domain::Ip_config_static) { } catch (Keep_ip_config) { }