[json] rename server to jsonServerMain

This commit is contained in:
Martin Aeschlimann
2016-06-06 17:32:06 +02:00
parent 8882523172
commit 67fe4d8b60
2 changed files with 1 additions and 1 deletions

View File

@@ -37,7 +37,7 @@ export function activate(context: ExtensionContext) {
languages.getLanguages().then(languageIds => {
// The server is implemented in node
let serverModule = context.asAbsolutePath(path.join('server', 'out', 'server.js'));
let serverModule = context.asAbsolutePath(path.join('server', 'out', 'jsonServerMain.js'));
// The debug options for the server
let debugOptions = { execArgv: ['--nolazy', '--debug=6004'] };