diff --git a/rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/parametric/RascalInterface.java b/rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/parametric/RascalInterface.java index e9fb65553..3f453859f 100644 --- a/rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/parametric/RascalInterface.java +++ b/rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/parametric/RascalInterface.java @@ -64,7 +64,7 @@ public RascalInterface(IRascalMonitor monitor) { var port = Integer.parseInt(property); Socket socket = new Socket(InetAddress.getLoopbackAddress(), port); Launcher clientLauncher = new Launcher.Builder() - .setLocalService(new Object()) + .setLocalService(new Object()) // no local service .setRemoteInterface(LanguageRegistry.class) .setInput(socket.getInputStream()) .setOutput(socket.getOutputStream()) diff --git a/rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/terminal/RemoteIDEServicesThread.java b/rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/terminal/RemoteIDEServicesThread.java index 5f256fead..8feb5646e 100644 --- a/rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/terminal/RemoteIDEServicesThread.java +++ b/rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/terminal/RemoteIDEServicesThread.java @@ -38,7 +38,7 @@ import org.eclipse.lsp4j.jsonrpc.messages.ResponseErrorCode; import org.eclipse.lsp4j.services.LanguageClient; import org.rascalmpl.ideservices.GsonUtils; -import org.rascalmpl.ideservices.IRemoteIDEServices; +import org.rascalmpl.ideservices.IDEServices; import org.rascalmpl.vscode.lsp.IBaseTextDocumentService; import org.rascalmpl.vscode.lsp.IDEServicesConfiguration; @@ -69,9 +69,9 @@ public void run() { Socket connection = serverSocket.accept(); connection.setTcpNoDelay(true); - Launcher remoteIDEServicesLauncher = new Launcher.Builder() + Launcher remoteIDEServicesLauncher = new Launcher.Builder() .setLocalService(new RemoteIDEServicesServer(languageClient, docService, exec)) - .setRemoteInterface(IRemoteIDEServices.class) + .setRemoteInterface(IDEServices.class) .setInput(connection.getInputStream()) .setOutput(connection.getOutputStream()) .configureGson(GsonUtils.complexAsBase64String())