diff options
| -rw-r--r-- | src/plugins/dhcp/client.c | 21 |
1 files changed, 12 insertions, 9 deletions
diff --git a/src/plugins/dhcp/client.c b/src/plugins/dhcp/client.c index 441590cbcee..8dc57cb78ce 100644 --- a/src/plugins/dhcp/client.c +++ b/src/plugins/dhcp/client.c @@ -887,15 +887,18 @@ dhcp_client_process (vlib_main_t * vm, break; case ~0: - /* *INDENT-OFF* */ - DHCP_INFO ("timeout"); - pool_foreach (c, dcm->clients, - ({ - timeout = dhcp_client_sm (now, timeout, - (uword) (c - dcm->clients)); - })); - /* *INDENT-ON* */ - if (pool_elts (dcm->clients) == 0) + if (pool_elts (dcm->clients)) + { + DHCP_INFO ("timeout"); + /* *INDENT-OFF* */ + pool_foreach (c, dcm->clients, + ({ + timeout = dhcp_client_sm (now, timeout, + (uword) (c - dcm->clients)); + })); + /* *INDENT-ON* */ + } + else timeout = 100.0; break; } |