Merge pull request #2568 from ByteHamster/crashfix
Fixed crash if media file exists but can not be read
This commit is contained in:
commit
9cd9d455c8
@ -11,6 +11,7 @@ import android.view.SurfaceHolder;
|
|||||||
|
|
||||||
import org.antennapod.audio.MediaPlayer;
|
import org.antennapod.audio.MediaPlayer;
|
||||||
|
|
||||||
|
import java.io.File;
|
||||||
import java.io.IOException;
|
import java.io.IOException;
|
||||||
import java.util.concurrent.CountDownLatch;
|
import java.util.concurrent.CountDownLatch;
|
||||||
import java.util.concurrent.Future;
|
import java.util.concurrent.Future;
|
||||||
@ -165,8 +166,10 @@ public class LocalPSMP extends PlaybackServiceMediaPlayer {
|
|||||||
callback.onMediaChanged(false);
|
callback.onMediaChanged(false);
|
||||||
if (stream) {
|
if (stream) {
|
||||||
mediaPlayer.setDataSource(media.getStreamUrl());
|
mediaPlayer.setDataSource(media.getStreamUrl());
|
||||||
} else {
|
} else if (new File(media.getLocalMediaUrl()).canRead()) {
|
||||||
mediaPlayer.setDataSource(media.getLocalMediaUrl());
|
mediaPlayer.setDataSource(media.getLocalMediaUrl());
|
||||||
|
} else {
|
||||||
|
throw new IOException("Unable to read local file " + media.getLocalMediaUrl());
|
||||||
}
|
}
|
||||||
setPlayerStatus(PlayerStatus.INITIALIZED, media);
|
setPlayerStatus(PlayerStatus.INITIALIZED, media);
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user