player: chop the tail of the music pipe after CANCEL

When a CANCEL command is received, the player should drop all chunks
of the next song.  Added new funciton music_pipe_chop() which is used
for that.

1 files changed, 6 insertions, 0 deletions

diff --git a/src/pipe.h b/src/pipe.h
index 78389d062..7d82c1693 100644
--- a/src/pipe.h
+++ b/src/pipe.h
@@ -164,6 +164,12 @@ bool music_pipe_tag(const struct tag *tag);
 
 void music_pipe_skip(unsigned num);
 
+/**
+ * Chop off the tail of the music pipe, starting with the chunk at
+ * index "first".
+ */
+void music_pipe_chop(unsigned first);
+
 #ifndef NDEBUG
 void music_pipe_check_format(const struct audio_format *current,
 			     int next_index, const struct audio_format *next);