diff --git a/repos/os/src/server/nic_router/link.cc b/repos/os/src/server/nic_router/link.cc index 6c27a39c2..fa673ab9f 100644 --- a/repos/os/src/server/nic_router/link.cc +++ b/repos/os/src/server/nic_router/link.cc @@ -155,13 +155,13 @@ void Link::dissolve() log("Dissolve ", l3_protocol_name(_protocol), " link: ", *this); } try { - _server_port_alloc().free(_server.dst_port()); if (_config().verbose()) { log("Free ", l3_protocol_name(_protocol), " port ", _server.dst_port(), " at ", _server.domain(), " that was used by ", _client.domain()); } + _server_port_alloc().free(_server.dst_port()); } catch (Pointer::Invalid) { } }