Miroirs/xwords
1
0
Fork 0
mirror of git://xwords.git.sourceforge.net/gitroot/xwords/xwords synced 2025-01-31 19:57:06 +01:00
Code Issues Projects Releases Packages Wiki Activity

log case where game has no dicts

Browse source
This commit is contained in:
Eric House 2012-10-25 08:02:30 -07:00
parent 4ed1446e06
commit 6180834ada
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
xwords4/android/XWords4/src/org/eehouse/android/xw4/GameUtils.java
View file

@ -584,11 +584,11 @@ public class GameUtils {
String[][] missingNames, String[][] missingNames,
int[] missingLang ) int[] missingLang )
{ {
String[] dictNames = dictNames( context, rowid, missingLang ); String[] gameDicts = dictNames( context, rowid, missingLang );
HashSet<String> missingSet; HashSet<String> missingSet;
DictUtils.DictAndLoc[] installed = DictUtils.dictList( context ); DictUtils.DictAndLoc[] installed = DictUtils.dictList( context );
missingSet = new HashSet<String>( Arrays.asList( dictNames ) ); missingSet = new HashSet<String>( Arrays.asList( gameDicts ) );
missingSet.remove( null ); missingSet.remove( null );
boolean allHere = 0 != missingSet.size(); // need some non-null! boolean allHere = 0 != missingSet.size(); // need some non-null!
if ( allHere ) { if ( allHere ) {
@ -596,6 +596,8 @@ public class GameUtils {
missingSet.remove( dal.name ); missingSet.remove( dal.name );
} }
allHere = 0 == missingSet.size(); allHere = 0 == missingSet.size();
} else {
DbgUtils.logf( "gameDictsHere: game has no dicts!" );
} }
if ( null != missingNames ) { if ( null != missingNames ) {
missingNames[0] = missingNames[0] =