priority is NOT ignored, just additional_repos.xml is not allowed to set

This commit is contained in:
Hans-Christoph Steiner 2018-10-16 16:48:50 +02:00
parent 95c375ac26
commit b529e10c4a

View File

@ -274,7 +274,7 @@ public class DBHelper extends SQLiteOpenHelper {
defaultRepos.get(i + 2), // description
defaultRepos.get(i + 3), // version
defaultRepos.get(i + 4), // enabled
Integer.toString(i), // priority; currently ignored
defaultRepos.get(i + 5), // priority
defaultRepos.get(i + 6), // pushRequests
defaultRepos.get(i + 7) // pubkey
);