changeset 187:a0c61c78446e

merge again
author Thomas Waldmann <tw AT waldmann-edv DOT de>
date Thu, 17 Jul 2008 23:30:23 +0200
parents a2a5dedfeb1d (current diff) 1da3682332fb (diff)
children a1a6a45edaf1
files
diffstat 1 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/data/plugin/action/refresh.py	Thu Jul 17 23:29:38 2008 +0200
+++ b/data/plugin/action/refresh.py	Thu Jul 17 23:30:23 2008 +0200
@@ -29,10 +29,11 @@
     path = caching.CacheEntry(request, cache.cache_arena, "",
                               cache.cache_scope, do_locking=False)._filename()
 
-    files = [fn.decode(config.charset) for fn in os.listdir(path)  if fn.endswith('data')]
+    files = [fn.decode(config.charset) for fn in os.listdir(path) 
+             if fn.endswith('data') and fn.endswith('meta')]
     for file_name in files:
         key, ext = os.path.splitext(file_name)
-        if key.startswith('T') or key.startswith('W') and wikiutil.isPicture(key):
+        if key.startswith('T') or key.startswith('W'):
             cache.remove(request, key)
 
     request.page.send_page()