From 4814eb6745a5cf60d7d8c9f264c8f8525bf5cc0d Mon Sep 17 00:00:00 2001
From: David Anthoff <anthoff@berkeley.edu>
Date: Sat, 27 Jul 2024 17:42:55 +0200
Subject: [PATCH] Fix disconnect

---
 src/debugger_requests.jl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/debugger_requests.jl b/src/debugger_requests.jl
index 0dd18cb..707a5a9 100644
--- a/src/debugger_requests.jl
+++ b/src/debugger_requests.jl
@@ -978,6 +978,8 @@ end
 function disconnect_request(debug_session::DebugSession, params::DisconnectArguments)
     @debug "disconnect_request"
 
+    DebugEngines.terminate(debug_session.debug_engine)
+
     put!(debug_session.next_cmd, (cmd = :terminate,))
 
     return DisconnectResponseArguments()