()
| 1862 | } |
| 1863 | |
| 1864 | protected serverQuitEvent() { |
| 1865 | if (this.miDebugger.isRunning() && !this.quit) { |
| 1866 | // Server quit before gdb quit. Maybe it crashed. Gdb is still running so stop it |
| 1867 | // which will in turn notify VSCode via `quitEvent()` |
| 1868 | this.miDebugger.stop(); |
| 1869 | } |
| 1870 | } |
| 1871 | |
| 1872 | protected async setVariableRequest(response: DebugProtocol.SetVariableResponse, args: DebugProtocol.SetVariableArguments): Promise<void> { |
| 1873 | try { |
no test coverage detected