[vlc-devel] [PATCH 08/13] player: add the timer API

Rémi Denis-Courmont remi at remlab.net
Thu Aug 22 17:43:37 CEST 2019

Le torstaina 22. elokuuta 2019, 18.25.11 EEST Romain Vimont a écrit :
> In that case, it should probably use the SOURCE timer, and use a local
> thread to do stuff at the exact time it wants. (REGULAR is just an
> helper for regular updates).

I don't see the use case for regular. By definition, API users will care about 
the play time, not the wall clock. And if they really want a wall clock timer, 
there is already a convenience API (vlc_timer).

IMO, this "regular" mode just makes the wrong thing easy (not to say 

Rémi Denis-Courmont

More information about the vlc-devel mailing list