equal
deleted
inserted
replaced
391 if (domain->working_counter_changes == 1) { |
391 if (domain->working_counter_changes == 1) { |
392 EC_INFO("Domain %u: Working counter changed to %u/%u.\n", |
392 EC_INFO("Domain %u: Working counter changed to %u/%u.\n", |
393 domain->index, domain->working_counter, |
393 domain->index, domain->working_counter, |
394 domain->expected_working_counter); |
394 domain->expected_working_counter); |
395 } else { |
395 } else { |
396 EC_INFO("Domain %u: %u working counter changes. " |
396 EC_INFO("Domain %u: %u working counter changes - now %u/%u.\n", |
397 "Currently %u/%u.\n", domain->index, |
397 domain->index, domain->working_counter_changes, |
398 domain->working_counter_changes, domain->working_counter, |
398 domain->working_counter, domain->expected_working_counter); |
399 domain->expected_working_counter); |
|
400 } |
399 } |
401 domain->working_counter_changes = 0; |
400 domain->working_counter_changes = 0; |
402 } |
401 } |
403 } |
402 } |
404 |
403 |