# HG changeset patch
# User paulo@thepaulopc
# Date 1292309724 28800
# Node ID 469b1e6dd3645ca2ad85cf97a1f18a130bb1fb92
# Parent  fce61e65e3aecce904df7d1b09a1799c37d8b541
myrss/index.php: check for non-empty cache file

diff -r fce61e65e3ae -r 469b1e6dd364 myrss/index.php
--- a/myrss/index.php	Wed Nov 10 22:30:04 2010 -0800
+++ b/myrss/index.php	Mon Dec 13 22:55:24 2010 -0800
@@ -5,7 +5,7 @@
 $cache_life = "1200";
 
 $cache_mtime = "0";
-if (file_exists($cache_fn))
+if (file_exists($cache_fn) && filesize($cache_fn) > 0)
 	$cache_mtime = filemtime($cache_fn);
 
 $newbody = '';