(context: vscode.ExtensionContext, logFName: string = '')
| 178 | } |
| 179 | |
| 180 | private startServerConsole(context: vscode.ExtensionContext, logFName: string = ''): Promise<void> { |
| 181 | return new Promise<void>((resolve, reject) => { |
| 182 | const rptMsg = 'Please report this problem.'; |
| 183 | this.gdbServerConsole = new GDBServerConsole(context, logFName); |
| 184 | this.gdbServerConsole.startServer().then(() => { |
| 185 | resolve(); // All worked out |
| 186 | }).catch((e) => { |
| 187 | this.gdbServerConsole.dispose(); |
| 188 | this.gdbServerConsole = null; |
| 189 | vscode.window.showErrorMessage(`Could not create gdb-server-console. Will use old style console. Please report this problem. ${e.toString()}`); |
| 190 | }); |
| 191 | }); |
| 192 | } |
| 193 | |
| 194 | private settingsChanged(e: vscode.ConfigurationChangeEvent) { |
| 195 | if (e.affectsConfiguration(`cortex-debug.${CortexDebugKeys.VARIABLE_DISPLAY_MODE}`)) { |
no test coverage detected