[vlc-commits] player: fix source point system date on pause

[Quentin Chateau]

vlc | branch: master | Quentin Chateau <quentin.chateau at deepskycorp.com> | Thu Feb 20 12:49:09 2020 +0100| [358f0924f45652447c853abe2b05f7453996b624] | committer: Thomas Guillem

player: fix source point system date on pause

Depending on the call order of vlc_player_UpdateTimerSource and
vlc_player_UpdateTimer, the system_date of the best timer source would
sometimes not be updated to INT64_MAX on pause.

Signed-off-by: Thomas Guillem <thomas at gllm.fr>

> http://git.videolan.org/gitweb.cgi/vlc.git/?a=commit;h=358f0924f45652447c853abe2b05f7453996b624
---

 src/player/timer.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/player/timer.c b/src/player/timer.c
index aff3de7e8d..56bbdc0ae7 100644
--- a/src/player/timer.c
+++ b/src/player/timer.c
@@ -323,6 +323,7 @@ vlc_player_UpdateTimer(vlc_player_t *player, vlc_es_id_t *es_source,
         /* When paused (INT64_MAX), the same ts can be send more than one time
          * from the video source, only send it if different in that case. */
         if (point->ts != player->timer.last_ts
+          || source->point.system_date != point->system_date
           || point->system_date != INT64_MAX)
         {
             vlc_player_UpdateTimerSource(player, source, point->rate, point->ts,