Method waitForServerExitAndRespond

src/gdb.ts:1384–1415

(response: DebugProtocol.DisconnectResponse)

    }

    private waitForServerExitAndRespond(response: DebugProtocol.DisconnectResponse) {
        if (!this.server.isExternal()) {
            let nTimes = 60;
            let to = setInterval(() => {
                if ((nTimes === 0) || this.quit) {
                    // We waited long enough so try to nuke the server and send VSCode a response
                    // This is a really bad situation to be in, but not sure what else to do.
                    clearInterval(to);
                    to = null;
                    this.server.exit();
                    this.serverConsoleLog('disconnectRequest sendResponse 3');
                    this.sendResponse(response);
                } else {
                    nTimes--;
                }
            }, 10);
            this.server.once('exit', () => {
                if (to) {
                    clearInterval(to);
                    to = null;
                    this.serverConsoleLog('disconnectRequest sendResponse 2');
                    this.sendResponse(response);
                }
            });
            // Note: If gdb exits first, then we kill the server anyways
        } else {
            this.miDebugger.once('quit', () => {
                this.serverConsoleLog('disconnectRequest sendResponse 1');
                this.sendResponse(response);
            });
        }
    }

    protected disconnectingPromise: Promise<void> = undefined;
    protected async disconnectRequest(response: DebugProtocol.DisconnectResponse, args: DebugProtocol.DisconnectArguments): Promise<void> {