diff options
author | George Fraser <george@fivetran.com> | 2018-12-31 16:26:13 -0800 |
---|---|---|
committer | George Fraser <george@fivetran.com> | 2018-12-31 16:26:13 -0800 |
commit | 9c8b908f5f4b2395a14652a9fcf3a2a20006e621 (patch) | |
tree | 9d95c08677dd1acdded80297c3fe1e698ffb9d14 /src/main | |
parent | 7c990c76519faba1ba234391ed3714aef8f1357b (diff) | |
download | java-language-server-9c8b908f5f4b2395a14652a9fcf3a2a20006e621.zip |
Fix
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/java/org/javacs/Index.java | 6 | ||||
-rw-r--r-- | src/main/java/org/javacs/JavaCompilerService.java | 3 |
2 files changed, 5 insertions, 4 deletions
diff --git a/src/main/java/org/javacs/Index.java b/src/main/java/org/javacs/Index.java index 482a464..c4e28a2 100644 --- a/src/main/java/org/javacs/Index.java +++ b/src/main/java/org/javacs/Index.java @@ -8,12 +8,12 @@ public class Index { public final List<Ptr> refs; // TODO modified time can rewind when you switch branches, need to track modified and look for exact match - public final Instant created; + public final Instant modified; public final boolean containsError; - public Index(List<Ptr> refs, Instant created, boolean containsError) { + public Index(List<Ptr> refs, Instant modified, boolean containsError) { this.refs = refs; - this.created = created; + this.modified = modified; this.containsError = containsError; } } diff --git a/src/main/java/org/javacs/JavaCompilerService.java b/src/main/java/org/javacs/JavaCompilerService.java index 2c6aa83..33136e5 100644 --- a/src/main/java/org/javacs/JavaCompilerService.java +++ b/src/main/java/org/javacs/JavaCompilerService.java @@ -343,7 +343,8 @@ public class JavaCompilerService { for (var p : possible) { var i = index.getOrDefault(p, Index.EMPTY); var modified = Instant.ofEpochMilli(new File(p).lastModified()); - if (modified.isAfter(i.created)) outOfDate.add(p); + // TODO can modified rewind when you checkout a branch? + if (modified.isAfter(i.modified)) outOfDate.add(p); if (i.containsError) hasError.add(p); } if (outOfDate.size() > 0) LOG.info(String.format("... %d files are out-of-date", outOfDate.size())); |