Index: tools/vscode/uwaterloo.cforall-0.1.0/client/main.js
===================================================================
--- tools/vscode/uwaterloo.cforall-0.1.0/client/main.js	(revision b52abe09e566fb9c0f5bb6ff0da4ce67bdd511bb)
+++ tools/vscode/uwaterloo.cforall-0.1.0/client/main.js	(revision 0a6da484b4e3816fcde3217ffbe2a0f7c021cd27)
@@ -23,8 +23,8 @@
 	// Otherwise the run options are used
 	let serverOptions = {
-		run: { command: 'cfa-ls', transport: vscode_lc.TransportKind.ipc },
+		run: { command: 'cfa-ls', transport: vscode_lc.TransportKind.stdio },
 		debug: {
 			command: 'cfa-ls',
-			transport: vscode_lc.TransportKind.ipc,
+			transport: vscode_lc.TransportKind.stdio,
 			options: debugOptions
 		}
@@ -32,12 +32,13 @@
 
 	// Options to control the language client
+	let selector = [{ scheme: 'file', language: 'cforall' }];
 	let clientOptions = {
-		// Register the server for plain text documents
-		documentSelector: [{ scheme: 'file', language: 'cforall' }]
+		// Register the server for cforall documents
+		documentSelector: selector
 	};
 
 	// Create the language client and start the client.
 	client = new vscode_lc.LanguageClient(
-		'CforallServer',
+		'cforall',
 		'Cforall Language Server',
 		serverOptions,