Anonymous avatar Anonymous committed 810d049

Fixed cache cleaning.

Comments (0)

Files changed (1)


-rePNG = re.compile(r'.+png$')
+rePNG = re.compile(r'\.png$')
 reGARBAGE = [
-             re.compile(r'.+aux$'),
-             re.compile(r'.+log$'),
-             re.compile(r'.+tex$'),
-             re.compile(r'.+dvi$'),
+             re.compile(r'\.aux$'),
+             re.compile(r'\.log$'),
+             re.compile(r'\.tex$'),
+             re.compile(r'\.dvi$'),
 reLABEL = re.compile(r'\\label\{(.*?)\}')
         label = None
         for line in content.split("\n"):
-            m = reLABEL.match(content)
+            m =
             if m:
                 label =
         png_files = []
         for name in os.listdir(self.cache_dir):
             for ext in reGARBAGE:
-                if ext.match(name):
+                if
                     os.unlink(os.path.join(self.cache_dir, name))
-            if name.endswith('.png'):
+            if
         if len(png_files) > self.max_png:
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.