diff TOOLS/w32codec_dl.pl @ 31169:ac84149bbdaf

Retry reading even if we hit eof before. This allows playing growing files even with a large cache.
author reimar
date Wed, 26 May 2010 18:23:43 +0000
parents 32725ca88fed
children
line wrap: on
line diff