From fd6f93abc19d35fd33446b8d1d57966528c84334 Mon Sep 17 00:00:00 2001 From: daniel oeh Date: Tue, 11 Sep 2012 12:30:48 +0200 Subject: [PATCH] External player fragment wasn't always reloading when necessary --- src/de/danoeh/antennapod/service/PlaybackService.java | 1 + 1 file changed, 1 insertion(+) diff --git a/src/de/danoeh/antennapod/service/PlaybackService.java b/src/de/danoeh/antennapod/service/PlaybackService.java index 19f5fed68..e2c334386 100644 --- a/src/de/danoeh/antennapod/service/PlaybackService.java +++ b/src/de/danoeh/antennapod/service/PlaybackService.java @@ -318,6 +318,7 @@ public class PlaybackService extends Service { || playbackType != shouldStream) { pause(true); player.reset(); + sendNotificationBroadcast(NOTIFICATION_TYPE_RELOAD, 0); if (media == null || mediaId != media.getId()) { feed = manager.getFeed(feedId); media = manager.getFeedMedia(mediaId, feed);