hlsdemux2: Prune time maps when possible
authorEdward Hervey <edward@centricular.com>
Wed, 6 Jul 2022 09:44:57 +0000 (11:44 +0200)
committerTim-Philipp Müller <tim@centricular.com>
Thu, 4 Aug 2022 13:49:21 +0000 (14:49 +0100)
commit1aab9db8038190d61a173d279add6e974669a541
treeddaa01816afeb992d6b0e8e2b804df029ea3e684
parentc20ad629c707b44b43ef7d9be1e5a18de39ccae0
hlsdemux2: Prune time maps when possible

Add a new method to prune unused time mappings (i.e. which aren't used by any
current media playlist).

Do that when doing flushing seeks. Could be used in other places later too.

Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/2839>
subprojects/gst-plugins-good/ext/adaptivedemux2/hls/gsthlsdemux.c