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

[Thomas Guillem]

Merged, thanks!

On Thu, Feb 20, 2020, at 12:49, quentin.chateau at deepskycorp.com wrote:
> 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
> 
> _______________________________________________
> vlc-devel mailing list
> To unsubscribe or modify your subscription options:
> https://mailman.videolan.org/listinfo/vlc-devel