Merge pull request #3420 from ByteHamster/media-player-default

Ensure that ExoPlayer is set
This commit is contained in:
H. Lehmann 2019-09-13 22:25:04 +02:00 committed by GitHub
commit 02a86b2dd2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 4 deletions

View File

@ -42,10 +42,8 @@ public class PreferenceUpgrader {
} }
} }
if (oldVersion < 1070300) { if (oldVersion < 1070300) {
if (UserPreferences.getMediaPlayer().equals("builtin")) {
prefs.edit().putString(UserPreferences.PREF_MEDIA_PLAYER, prefs.edit().putString(UserPreferences.PREF_MEDIA_PLAYER,
UserPreferences.PREF_MEDIA_PLAYER_EXOPLAYER).apply(); UserPreferences.PREF_MEDIA_PLAYER_EXOPLAYER).apply();
}
if (prefs.getBoolean("prefEnableAutoDownloadOnMobile", false)) { if (prefs.getBoolean("prefEnableAutoDownloadOnMobile", false)) {
UserPreferences.setAllowMobileAutoDownload(true); UserPreferences.setAllowMobileAutoDownload(true);