changeset 20:469b1e6dd364

myrss/index.php: check for non-empty cache file
author paulo@thepaulopc
date Mon, 13 Dec 2010 22:55:24 -0800
parents fce61e65e3ae
children 0161134b2246
files myrss/index.php
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line diff
     1.1 --- a/myrss/index.php	Wed Nov 10 22:30:04 2010 -0800
     1.2 +++ b/myrss/index.php	Mon Dec 13 22:55:24 2010 -0800
     1.3 @@ -5,7 +5,7 @@
     1.4  $cache_life = "1200";
     1.5  
     1.6  $cache_mtime = "0";
     1.7 -if (file_exists($cache_fn))
     1.8 +if (file_exists($cache_fn) && filesize($cache_fn) > 0)
     1.9  	$cache_mtime = filemtime($cache_fn);
    1.10  
    1.11  $newbody = '';