From 76f126b913765badb1ee1a5059102e2ed3832085 Mon Sep 17 00:00:00 2001
From: Christian Weichel <christian.weichel@typefox.io>
Date: Tue, 19 Nov 2019 19:09:10 +0100
Subject: [PATCH] Make openocd stop properly

---
 .../src/node/debug-adapter/cmsis-debug-session.ts             | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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
index ceadb801..b2e7c0e8 100644
--- 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() {