add code for settingsUri

Signed-off-by: Shi Chen <[email protected]>
eclipse-jdtls · Apr 23, 2021 · c88f8f5 · c88f8f5
1 parent 008b542
commit c88f8f5
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/...se.jdt.ls.core/src/org/eclipse/jdt/ls/core/internal/managers/StandardProjectsManager.java b/...se.jdt.ls.core/src/org/eclipse/jdt/ls/core/internal/managers/StandardProjectsManager.java
@@ -176,7 +176,12 @@ public void fileChanged(String uriString, CHANGE_TYPE changeType) {
 			List<URI> uris = getURIs(settingsUrl);
 			boolean changed = false;
 			for (URI settingsURI : uris) {
-				if (settingsURI.equals(uri)) {
+				if (Platform.OS_WIN32.equals(Platform.getOS()) && URIUtil.isFileURI(settingsURI) && URIUtil.isFileURI(uri)) {
+					if (URIUtil.toFile(settingsURI).toPath().equals(URIUtil.toFile(uri).toPath())) {
+						changed = true;
+						break;
+					}
+				} else if (settingsURI.equals(uri)) {
 					changed = true;
 					break;
 				}