()
| 173 | } |
| 174 | |
| 175 | private int getLeaderId() { |
| 176 | for (Env env : envs) |
| 177 | if (env.getRaft().getLeaderId() == env.id) |
| 178 | return env.id; |
| 179 | return -1; |
| 180 | } |
| 181 | |
| 182 | private void trySendAddLog() { |
| 183 | while (leftSendAddLogCount > 0 && sendingSerials.size() < concurrentSendCount) { |