From f75f477c2b92555cf448ef2befc05feba38c7790 Mon Sep 17 00:00:00 2001 From: Sebastian Sumpf Date: Mon, 27 May 2019 13:57:48 +0200 Subject: [PATCH] nic_router: [[fallthrough]] annotation issue #3377 --- repos/os/src/server/nic_router/dhcp_client.cc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/repos/os/src/server/nic_router/dhcp_client.cc b/repos/os/src/server/nic_router/dhcp_client.cc index 0f8d81519c..173b4d12cc 100644 --- a/repos/os/src/server/nic_router/dhcp_client.cc +++ b/repos/os/src/server/nic_router/dhcp_client.cc @@ -109,9 +109,9 @@ Microseconds Dhcp_client::_rerequest_timeout(unsigned lease_time_div_log2) void Dhcp_client::_handle_timeout(Duration) { switch (_state) { - case State::BOUND: _rerequest(State::RENEW); break; - case State::RENEW: _rerequest(State::REBIND); break; - case State::REBIND: _domain().discard_ip_config(); + case State::BOUND: _rerequest(State::RENEW); break; + case State::RENEW: _rerequest(State::REBIND); break; + case State::REBIND: _domain().discard_ip_config(); [[fallthrough]]; default: discover(); } }