[MPlayer-dev-eng] stream_read() not emptying the cache?

[Nico]

Hi,

I noticed that trying to empty the cache with

while(stream_read(stream));

doesn't empty it: I can still see the old content.

I realized it running
mplayer dvb:// -cache 4096
and soon changing  channel (with 'h'). The dvb stream code I wrote stops 
the driver from reading data, then
empties the stream calling stream_read() and finally  reactivates the 
driver, but the content I see in the stream
is the old cached one, not the new one!

Should I explicitly reset the cache (how)?

Thanks,
    Nico