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

fix a problem with wrong URIs for change events, did not contain file:/// but just file:/

Browse Source
This commit is contained in:
Martin Lippert
2018-01-17 12:04:05 +01:00
parent 6c8f467e57
commit 02831fc569
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
eclipse-language-servers/org.springframework.tooling.boot.java.ls/src/org/springframework/tooling/boot/java/ls/ResourceListener.java
View File

@@ -20,6 +20,7 @@ import org.eclipse.core.resources.IResourceChangeEvent;
import org.eclipse.core.resources.IResourceChangeListener;
import org.eclipse.core.resources.IResourceDelta;
import org.eclipse.core.runtime.CoreException;
import org.eclipse.lsp4e.LSPEclipseUtils;
import org.eclipse.lsp4j.DidChangeWatchedFilesParams;
import org.eclipse.lsp4j.FileChangeType;
import org.eclipse.lsp4j.FileEvent;
@@ -32,6 +33,7 @@ import org.eclipse.lsp4j.services.LanguageServer;
* @author Alex Boyko
*
*/
@SuppressWarnings("restriction")
public class ResourceListener implements IResourceChangeListener {
private final LanguageServer server;
@@ -91,7 +93,8 @@ public class ResourceListener implements IResourceChangeListener {
}
private static FileEvent createFileEventFromDelta(IResourceDelta delta) {
URI locationURI = delta.getResource().getLocationURI();
URI locationURI = LSPEclipseUtils.toUri(delta.getResource());
if (locationURI == null) {
return null;
}