for (size_t i = 0; i < inputs.size(); ++i) {
inputs[i]->stop();
}
- for (int i = 0; i < num_servers; ++i) {
- servers->get_server(i)->stop();
- }
+ servers->stop();
fprintf(stderr, "Serializing state and re-execing...\n");
int state_fd = make_tempfile(collect_state(