Merge branch 'master' into improvement/16/manage-single-repo

This commit is contained in:
Peter Serwylo 2013-12-12 10:53:14 +11:00
commit 135ec1f0ff
2 changed files with 5 additions and 1 deletions

@ -1 +1 @@
Subproject commit 66042fe4a38d5e96030144546290ba0404d24e28
Subproject commit 2a8a184d40b16756fd80edc342550bb2335d6461

View File

@ -1008,6 +1008,10 @@ public class DB {
while (!c.isAfterLast()) {
String id = c.getString(0);
App app = apps.get(id);
if (app == null) {
c.moveToNext();
continue;
}
boolean compatible = c.getInt(10) == 1;
int repoid = c.getInt(11);
if (compatible || incompatibleVersions) {