changes in players matter for local games too

This commit is contained in:
Eric House 2015-10-29 07:01:01 -07:00
parent ea4e437e94
commit 3635abb17d

View file

@ -211,7 +211,7 @@ public class CurGameInfo {
|| allowPickTiles != other.allowPickTiles
|| phoniesAction != other.phoniesAction;
if ( !matter && DeviceRole.SERVER_STANDALONE != serverRole ) {
if ( !matter ) {
matter = !dictName.equals( other.dictName );
for ( int ii = 0; !matter && ii < nPlayers; ++ii ) {
LocalPlayer me = players[ii];