player: redo how stream caching and pausing on low cache works

Add the --cache-secs option, which literally overrides the value of
--demuxer-readahead-secs if the stream cache is active. The default
value is very high (10 seconds), which means it can act as network
cache.

Remove the old behavior of trying to pause once the byte cache runs
low. Instead, do something similar wit the demuxer cache. The nice
thing is that we can guess how many seconds of video it has cached,
and we can make better decisions. But for now, apply a relatively
naive heuristic: if the cache is below 0.5 secs, pause, and wait
until at least 2 secs are available.

Note that due to timestamp reordering, the estimated cached duration
of video might be inaccurate, depending on the file format. If the
file format has DTS, it's easy, otherwise the duration will seemingly
jump back and forth.

1 files changed, 1 insertions, 1 deletions

diff --git a/etc/example.conf b/etc/example.conf
index 4efe2c9b77..e335c8ea12 100644
--- a/etc/example.conf
+++ b/etc/example.conf
@@ -86,7 +86,7 @@
 #
 # Disable the behavior that the player will pause if the cache goes below a
 # certain fill size.
-#cache-pause-below=no
+#cache-pause=no
 #
 # Read ahead about 5 seconds of audio and video packets.
 #demuxer-readahead-secs=5.0