use proper CachedValue for caching of Django settings values

2026-09-27 10:03:11 +07:00 · 2013-08-08 13:14:32 +02:00
parent 0e47994d2f
commit 6f3c795216
1 changed files with 4 additions and 0 deletions
@@ -145,4 +145,8 @@ public class PyFileEvaluator {
    }
    return Collections.emptyList();
  }
+
+  public Set<PyFile> getVisitedFiles() {
+    return myVisitedFiles;
+  }
 }