fix: Changes on Formatter profiles have no effect before reloading (#…

…1738) Signed-off-by: Shi Chen <[email protected]>
eclipse-jdtls · Apr 23, 2021 · d6bf874 · d6bf874
1 parent b5223d7
commit d6bf874
Showing 1 changed file with 3 additions and 2 deletions.
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
@@ -58,6 +58,7 @@
 import org.eclipse.core.runtime.Platform;
 import org.eclipse.core.runtime.Status;
 import org.eclipse.core.runtime.SubMonitor;
+import org.eclipse.core.runtime.URIUtil;
 import org.eclipse.core.runtime.jobs.Job;
 import org.eclipse.jdt.core.IClasspathEntry;
 import org.eclipse.jdt.core.IJavaProject;
@@ -175,7 +176,7 @@ 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 (URIUtil.sameURI(settingsURI, uri)) {
 					changed = true;
 					break;
 				}
@@ -193,7 +194,7 @@ public void fileChanged(String uriString, CHANGE_TYPE changeType) {
 			List<URI> uris = getURIs(formatterUrl);
 			boolean changed = false;
 			for (URI formatterUri : uris) {
-				if (formatterUri.equals(uri)) {
+				if (URIUtil.sameURI(formatterUri, uri)) {
 					changed = true;
 					break;
 				}