[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
encouraged).
--
Rémi Denis-Courmont
http://www.remlab.net/
More information about the vlc-devel
mailing list