0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix play_controller::all_players()

Browse source
This commit is contained in:
gfgtdf 2015-07-21 17:23:19 +02:00
parent 7df9c043d0
commit 1dabbc3163
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/play_controller.cpp
View file

@ -1055,7 +1055,9 @@ std::set<std::string> play_controller::all_players() const
std::set<std::string> res = gui_->observers();
BOOST_FOREACH(const team& t, get_teams_const())
{
res.insert(t.current_player());
if (t.is_human()) {
res.insert(t.current_player());
}
}
return res;
}