Add pause and detach before stop of gdb and server

Author: thegecko

src/cmsis-backend.ts

@@ -28,6 +28,10 @@ import * as mi from './mi';
 
 export class CmsisBackend extends GDBBackend {
 
+    public get isRunning(): boolean {
+        return !!this.out;
+    }
+
     public pause() {
         mi.sendExecInterrupt(this);
         return true;

src/cmsis-debug-session.ts

@@ -184,6 +184,19 @@ export class CmsisDebugSession extends GDBDebugSession {
 
     protected async disconnectRequest(response: DebugProtocol.DisconnectResponse, args: DebugProtocol.DisconnectArguments): Promise<void> {
         try {
+            if (this.isRunning) {
+                // Need to pause first
+                const waitPromise = new Promise(resolve => this.waitPaused = resolve);
+                this.gdb.pause();
+                await waitPromise;
+            }
+            if ((this.gdb as CmsisBackend).isRunning) {
+                try {
+                    await mi.sendTargetDetach(this.gdb);
+                } catch (e) {
+                    // Need to catch here as the command result being returned will never exist as it's detached
+                }
+            }
             await super.disconnectRequest(response, args);
             this.gdbServer.kill();
             if (!args || !args.restart) {

src/mi.ts

@@ -72,4 +72,9 @@ export function sendUserInput(gdb: GDBBackend, command: string): Promise<any> {
     return gdb.sendCommand(command);
 }
 
+export function sendTargetDetach(gdb: GDBBackend) {
+    const command = '-target-detach';
+    return gdb.sendCommand(command);
+}
+
 export * from 'cdt-gdb-adapter/dist/mi';