added ddp.DDPLS.path setting

package.json

@@ -78,6 +78,11 @@
 					"default": [],
 					"description": "arguments that are passed to $kddp starte"
 				},
+				"ddp.DDPLS.path": {
+					"type": "string",
+					"default": "",
+					"description": "if present this DDPLS binary is used instead of the one shipped with the extension or the global one"
+				},
 				"ddp.DDPLS.flags": {
 					"type": "array",
 					"default": [],

src/extension.ts

@@ -18,15 +18,21 @@ export function activate(ctx: vscode.ExtensionContext) {
 		out.appendLine("DDPPATH not found\nThis might cause errors in some commands");
 	}
 
+	let config = vscode.workspace.getConfiguration('ddp');
+
 	let commandName = "DDPLS";
-	{
+	if (config.has("DDPLS.path")) {
+		let ddplsPath = config.get<string>("DDPLS.path");
+		if (ddplsPath !== "" && ddplsPath !== undefined) {
+			commandName = ddplsPath;
+		}
+	} else {
 		let ddplsPath = ctx.asAbsolutePath(path.join('bin', os.platform() === 'win32' ? 'DDPLS.exe' : 'DDPLS'));
 		if (fs.existsSync(ddplsPath)) {
 			commandName = ddplsPath;
 		}
 	}
 
-	let config = vscode.workspace.getConfiguration('ddp');
 	let lsArgs = config.get<string[]>("DDPLS.flags");
 	// DDPLS must be installed and in the PATH
 	let serverOptions: langsrv.ServerOptions = {
@@ -63,16 +69,13 @@ export function activate(ctx: vscode.ExtensionContext) {
 			return;
 		}
 
-		let config = vscode.workspace.getConfiguration('ddp');
+		let DDPPATH = "";
 		if (config.has("DDPPATH")) {
-			let ddppath = config.get("DDPPATH");
-			if (ddppath !== "") {
-				DDPPATH = config.get("DDPPATH");
+			let ddppath = config.get<string>("DDPPATH");
+			if (ddppath !== "" && ddppath !== undefined) {
+				DDPPATH = ddppath;
 			}
 		}
-		if (DDPPATH === undefined) {
-			DDPPATH = "";
-		}
 
 		let exe = path.join(DDPPATH, 'bin', os.platform() === 'win32' ? 'kddp.exe' : 'kddp').replace(new RegExp('\\' + path.sep, 'g'), '/');
 		let filePath = currentFile.replace(new RegExp('\\' + path.sep, 'g'), '/');