From 3635abb17df9a6dc89466d8b48064f5781230770 Mon Sep 17 00:00:00 2001
From: Eric House <xwords@eehouse.org>
Date: Thu, 29 Oct 2015 07:01:01 -0700
Subject: [PATCH] changes in players matter for local games too

---
 .../XWords4/src/org/eehouse/android/xw4/jni/CurGameInfo.java    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xwords4/android/XWords4/src/org/eehouse/android/xw4/jni/CurGameInfo.java b/xwords4/android/XWords4/src/org/eehouse/android/xw4/jni/CurGameInfo.java
index 0f664d124..30c85f033 100644
--- a/xwords4/android/XWords4/src/org/eehouse/android/xw4/jni/CurGameInfo.java
+++ b/xwords4/android/XWords4/src/org/eehouse/android/xw4/jni/CurGameInfo.java
@@ -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];