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

[Rémi Denis-Courmont]

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/