diff options
Diffstat (limited to 'editors/code/src')
-rw-r--r-- | editors/code/src/commands/runnables.ts | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/editors/code/src/commands/runnables.ts b/editors/code/src/commands/runnables.ts index 782a7ba89..e62de7d6e 100644 --- a/editors/code/src/commands/runnables.ts +++ b/editors/code/src/commands/runnables.ts | |||
@@ -134,9 +134,12 @@ export function debugSingle(ctx: Ctx): Cmd { | |||
134 | } | 134 | } |
135 | 135 | ||
136 | const executable = await getDebugExecutable(config); | 136 | const executable = await getDebugExecutable(config); |
137 | let debugConfig = knownEngines[debugEngine.id](config, executable, debugOptions.sourceFileMap); | 137 | const debugConfig = knownEngines[debugEngine.id](config, executable, debugOptions.sourceFileMap); |
138 | for (var key in debugOptions.engineSettings) { | 138 | if (debugConfig.type in debugOptions.engineSettings) { |
139 | debugConfig[key] = (debugOptions.engineSettings as any)[key]; | 139 | const settingsMap = (debugOptions.engineSettings as any)[debugConfig.type]; |
140 | for (var key in settingsMap) { | ||
141 | debugConfig[key] = settingsMap[key]; | ||
142 | } | ||
140 | } | 143 | } |
141 | 144 | ||
142 | debugOutput.appendLine("Launching debug configuration:"); | 145 | debugOutput.appendLine("Launching debug configuration:"); |