[vlc-devel] [PATCH] player: fixed source point system date on pause

[quentin.chateau at deepskycorp.com]

From: Quentin Chateau <quentin.chateau at deepskycorp.com>

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
---
 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,
-- 
2.17.1