From 1d72e79df896c9225aefe64be4f318d62a8d9427 Mon Sep 17 00:00:00 2001
From: ManDude <7569514+ManDude@users.noreply.github.com>
Date: Tue, 11 May 2021 20:14:09 +0100
Subject: [PATCH] [repl] Always reset runtime before disconnecting (#448)

---
 goalc/compiler/Compiler.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/goalc/compiler/Compiler.cpp b/goalc/compiler/Compiler.cpp
index fbc999084d..d97e017d42 100644
--- a/goalc/compiler/Compiler.cpp
+++ b/goalc/compiler/Compiler.cpp
@@ -94,7 +94,10 @@ ReplStatus Compiler::execute_repl(bool auto_listen) {
     }
   }
 
-  m_listener.disconnect();
+  if (m_listener.is_connected()) {
+    m_listener.send_reset(false);  // reset the target
+    m_listener.disconnect();
+  }
 
   if (m_want_exit) {
     return ReplStatus::WANT_EXIT;