Spring/spring-tools
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

GH-1143: avoid writing cache if no files have changed

Browse Source
This commit is contained in:
Martin Lippert
2023-11-08 15:44:49 +01:00
parent a458894ce6
commit 950d528bb9
1 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
headless-services/spring-boot-language-server/src/main/java/org/springframework/ide/vscode/boot/java/utils/SpringIndexerJava.java
View File

@@ -191,11 +191,12 @@ public class SpringIndexerJava implements SpringIndexer {
if (updatedDocs != null) {
DocumentDescriptor[] docs = filterDocuments(project, updatedDocs);
for (DocumentDescriptor updatedDoc : docs) {
this.symbolHandler.removeSymbols(project, updatedDoc.getDocURI());
if (docs.length > 0) {
for (DocumentDescriptor updatedDoc : docs) {
this.symbolHandler.removeSymbols(project, updatedDoc.getDocURI());
}
scanFiles(project, docs);
}
scanFiles(project, docs);
}
}