calls/patches/just_audio_media_kit.patch

35 lines
1.5 KiB
Diff

diff -ruN /tmp/just_audio_media_kit/lib/mediakit_player.dart /home/dponte/.pub-cache/hosted/pub.dev/just_audio_media_kit-2.0.5/lib/mediakit_player.dart
--- /tmp/just_audio_media_kit/lib/mediakit_player.dart 2024-08-14 15:47:51.698551487 -0400
+++ /home/dponte/.pub-cache/hosted/pub.dev/just_audio_media_kit-2.0.5/lib/mediakit_player.dart 2024-08-14 15:48:02.401944337 -0400
@@ -35,8 +35,11 @@
/// [LoadRequest.initialPosition] or [seek] request before [Player.play] was called and/or finished loading.
Duration? _setPosition;
- Media get _currentMedia =>
- _player.state.playlist.medias[_player.state.playlist.index];
+ Media? get _currentMedia {
+ var medias = _player.state.playlist.medias;
+ if (medias.isEmpty) return null;
+ return medias[_player.state.playlist.index];
+ }
MediaKitPlayer(super.id) {
_player = Player(
@@ -57,7 +60,7 @@
_streamSubscriptions = [
_player.stream.duration.listen((duration) {
- if (_currentMedia.extras?['overrideDuration'] != null) return;
+ if (_currentMedia?.extras?['overrideDuration'] != null) return;
_processingState = ProcessingStateMessage.ready;
if (_setPosition != null && duration.inSeconds > 0) {
@@ -111,7 +114,7 @@
_currentIndex = playlist.index;
}
_updatePlaybackEvent(
- duration: _currentMedia.extras?['overrideDuration']);
+ duration: _currentMedia?.extras?['overrideDuration']);
}),
_player.stream.playlistMode.listen((playlistMode) {
_dataController.add(