diff TOOLS/w32codec_dl.pl @ 24301:15d547dfa66b

Make sure that no pages will left in cache during channel switch (immediately stop decoding of vbi buffer when clear_cache is called).
author voroshil
date Sat, 01 Sep 2007 18:49:51 +0000
parents 39805251ef61
children 0f1b5b68af32
line wrap: on
line diff