Don't cache zero-length 'pages' from redirects

diff --git a/includes/Article.php b/includes/Article.php
index 17226b3..f0def94 100644 (file)
--- a/includes/Article.php
+++ b/includes/Article.php
@@ -1667,6 +1667,7 @@ name=\"wpSummary\" maxlength=200 size=60><br>
        
        function saveToFileCache( $text ) {
                global $wgUseGzip, $wgCompressByDefault;
+               if(length($text) == 0) return "";
                
         wfDebug(" saveToFileCache()\n", false);
                $filename=$this->fileCacheName();