playlist: update the randomizer on media change
commitd5c1b16b557ed657541ce7aa664b4ba8a87c510c
authorRomain Vimont <rom1v@videolabs.io>
Thu, 16 May 2019 11:02:52 +0000 (16 13:02 +0200)
committerJean-Baptiste Kempf <jb@videolan.org>
Wed, 22 May 2019 19:41:08 +0000 (22 21:41 +0200)
treeacf5a8ec1c68fe729048ec41dd36edc7e125f6d8
parentc1625943f100ac389641e1a8760c3544fde26dba
playlist: update the randomizer on media change

When the player notifies that the current media has changed, it must be
considered "selected" by the randomizer.

Otherwise, when the player requests the next media to play, the playlist
will always "peek" the same next item from the randomizer, which will
never actually "select" it.

Signed-off-by: Jean-Baptiste Kempf <jb@videolan.org>
src/playlist/player.c