Method exit

src/backend/server.ts:110–121

()

    private exitTimeout: NodeJS.Timeout = null;
    private killInProgress = false;
    public exit(): void {
        if (this.process && !this.killInProgress) {
            try {
                ServerConsoleLog(`GDBServer(${this.pid}): forcing an exit with kill()`);
                this.killInProgress = true;
                this.process.kill();
            }
            catch (e) {
                ServerConsoleLog(`GDBServer(${this.pid}): Trying to force and exit failed ${e}`);
            }
        }
    }

    private onExit(code, signal) {
        ServerConsoleLog(`GDBServer(${this.pid}): exited code=${code} signal=${signal}`);