minor change to display the winning AI for --nogui games

This commit is contained in:
Elias Pschernig 2007-03-27 15:15:43 +00:00
parent ea0a70d7fb
commit d3eece659f

View file

@ -1602,9 +1602,10 @@ void check_victory(unit_map& units,
if(non_interactive()) {
std::cout << "winner: ";
for(std::vector<int>::const_iterator i = seen_leaders.begin(); i != seen_leaders.end(); ++i) {
std::cout << *i << " ";
std::string ai = teams[*i - 1].ai_algorithm();
if (ai == "") ai = "default ai";
std::cout << *i << " (using " << ai << ") ";
}
std::cout << "\n";
}