diff options
Diffstat (limited to 'src/main/java/org/javacs/JavaLanguageServer.java')
| -rw-r--r-- | src/main/java/org/javacs/JavaLanguageServer.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/main/java/org/javacs/JavaLanguageServer.java b/src/main/java/org/javacs/JavaLanguageServer.java index 32d4bdf..2a6ee1b 100644 --- a/src/main/java/org/javacs/JavaLanguageServer.java +++ b/src/main/java/org/javacs/JavaLanguageServer.java @@ -268,12 +268,15 @@ class JavaLanguageServer extends LanguageServer { var file = Paths.get(c.uri); switch (c.type) { case FileChangeType.Created: + FileStore.externalCreate(file); created.add(file); break; case FileChangeType.Changed: + FileStore.externalChange(file); if (sourcePath.update(file)) changed = true; break; case FileChangeType.Deleted: + FileStore.externalDelete(file); deleted.add(file); break; } |