enhance: implement shutdownInterpreter() to cleanly close console

Author: Lin3rd

src/main/java/ghidrathon/GhidrathonPlugin.java

@@ -159,6 +159,31 @@ private void resetInterpreterInBackground() {
     inputThread.start();
   }
 
+  public void shutdownInterpreter() {
+    if (inputThread != null) {
+        inputThread.dispose();
+        inputThread = null;
+    }
+
+    if (console != null) {
+        console.dispose();
+        console = null;
+    }
+
+    interactiveScript = null;
+    interactiveTaskMonitor = null;
+
+    // Recreate a new console instance, so Ghidra re-registers it
+    SwingUtilities.invokeLater(() -> {
+        console = getTool()
+            .getService(InterpreterPanelService.class)
+            .createInterpreterPanel(this, false);
+
+        // Let user activate manually
+        console.addFirstActivationCallback(() -> resetInterpreter());
+    });
+  }
+
   class PythonInteractiveTaskMonitor extends TaskMonitorAdapter {
 
     private PrintWriter output = null;