diff options
author | wm4 <wm4@nowhere> | 2014-08-28 17:35:50 +0200 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2014-08-28 17:49:09 +0200 |
commit | fb1266c98b409e0ff9a2c6bb2422879132b3922d (patch) | |
tree | 32b39734b2daf8750ee94d762f3c01b35f3735d5 /common | |
parent | f9f436a49093bed07e9a14ad2c7b974bb7e32f36 (diff) |
player: update cache state only if requested
Add a mechanism to the client API code, which allows the player core to
query whether a client API event is needed at all. Use it for the cache
update.
In this case, this is probably a pure microoptimization; but the
mechanism will be useful for other things too.
Diffstat (limited to 'common')
0 files changed, 0 insertions, 0 deletions