Make openocd stop properly

Christian Weichel · spoenemann · commit 76f126b91376 · 2020-02-13T10:15:12.000+01:00
diff --git a/arduino-debugger-extension/src/node/debug-adapter/cmsis-debug-session.ts b/arduino-debugger-extension/src/node/debug-adapter/cmsis-debug-session.ts
@@ -393,13 +393,13 @@ export class CmsisDebugSession extends GDBDebugSession {
             }
         }
 
-        // Stop gdb client and server
+        // Stop gdb client and server - we give GDB five seconds to exit orderly before we kill the GDB server
+        setTimeout(() => this.gdbServer.kill(), 5000);
         try {
             await this.gdb.sendGDBExit();
         } catch (e) {
             // Need to catch here in case the connection has already been closed
         }
-        this.gdbServer.kill();
     }
 
     public async shutdown() {

Original file line number	Diff line number	Diff line change
`@@ -393,13 +393,13 @@ export class CmsisDebugSession extends GDBDebugSession {`
`393`	`393`	`}`
`394`	`394`	`}`
`395`	`395`
`396`		`- // Stop gdb client and server`
	`396`	`+ // Stop gdb client and server - we give GDB five seconds to exit orderly before we kill the GDB server`
	`397`	`+ setTimeout(() => this.gdbServer.kill(), 5000);`
`397`	`398`	`try {`
`398`	`399`	`await this.gdb.sendGDBExit();`
`399`	`400`	`} catch (e) {`
`400`	`401`	`// Need to catch here in case the connection has already been closed`
`401`	`402`	`}`
`402`		`- this.gdbServer.kill();`
`403`	`403`	`}`
`404`	`404`
`405`	`405`	`public async shutdown() {`