if (not process_list_.empty()) {
for (auto& actor : process_list_) {
XBT_DEBUG("Killing Actor %s@%s on behalf of %s which turned off that host.", actor.get_cname(),
if (not process_list_.empty()) {
for (auto& actor : process_list_) {
XBT_DEBUG("Killing Actor %s@%s on behalf of %s which turned off that host.", actor.get_cname(),