# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1391190938 -3600
# Node ID 687ce88f800512d4a090fee6acf672023f423829
# Parent  d74c9da90e57c388fc0ad50dcaa15789f01d62ed
Fetch a resource if its cache entry is of zero size, for whatever reason.

diff -r d74c9da90e57 -r 687ce88f8005 MoinRemoteSupport.py
--- a/MoinRemoteSupport.py	Wed Jan 29 19:22:48 2014 +0100
+++ b/MoinRemoteSupport.py	Fri Jan 31 18:55:38 2014 +0100
@@ -56,7 +56,7 @@
     # NOTE: The URL could be checked and the 'If-Modified-Since' header
     # NOTE: (see MoinMoin.action.pollsistersites) could be checked.
 
-    if not cache_entry.exists() or now - mtime >= max_cache_age:
+    if not cache_entry.exists() or cache_entry.size() == 0 or now - mtime >= max_cache_age:
 
         # Access the remote data source.