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

Rename BootPropertiesLanguageServerParams to BootLanguageServerParams

Browse Source 
This is a step towards merging BootPropertiesLanguageServerParams and 
BootJavaLanguageServerParams into a single BootLanguageServerParams
This commit is contained in:
Kris De Volder
2018-02-14 11:12:30 -08:00
parent 23f60f5679
commit 83a08eaf0e
8 changed files with 30 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
headless-services/spring-boot-language-server/src/main/java/org/springframework/ide/vscode/boot/Main.java
View File

@@ -13,7 +13,7 @@ package org.springframework.ide.vscode.boot;
import java.io.IOException;
import org.springframework.ide.vscode.boot.properties.BootLanguageServer;
import org.springframework.ide.vscode.boot.properties.BootPropertiesLanguageServerParams;
import org.springframework.ide.vscode.boot.properties.BootLanguageServerParams;
import org.springframework.ide.vscode.commons.languageserver.LaunguageServerApp;
import org.springframework.ide.vscode.commons.util.LogRedirect;
@@ -31,7 +31,7 @@ public class Main {
LogRedirect.redirectToFile(serverName);
//TODO: wrap both BootProperties and BootJavaLanguageServers into a composite of some kind.
LaunguageServerApp.start(serverName,
() -> BootLanguageServer.create(BootPropertiesLanguageServerParams.createDefault()).getServer()
() -> BootLanguageServer.create(BootLanguageServerParams.createDefault()).getServer()
);
}