if (is_reexec) {
// Put back the existing clients. It doesn't matter which server we
// allocate them to, so just do round-robin. However, we need to add
if (is_reexec) {
// Put back the existing clients. It doesn't matter which server we
// allocate them to, so just do round-robin. However, we need to add