From 36c5ce55cc5541556d7d599ecfe6a25a61224391 Mon Sep 17 00:00:00 2001
From: Mike <mike@otep.ch>
Date: Thu, 14 Jun 2018 08:08:19 +0200
Subject: [PATCH] shut down firemind queue worker when magarena exits (#1589)

---
 src/magic/FiremindQueueWorker.java | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/magic/FiremindQueueWorker.java b/src/magic/FiremindQueueWorker.java
index 2b3165a290..d6a947c0d9 100644
--- a/src/magic/FiremindQueueWorker.java
+++ b/src/magic/FiremindQueueWorker.java
@@ -20,7 +20,15 @@ public class FiremindQueueWorker {
                     "Magarena.jar", "magic.firemind.FiremindDuelRunner");
             pb.redirectErrorStream(true);
             try {
+
                 Process p = pb.start();
+
+                Thread closeChildThread = new Thread() {
+                    public void run() {
+                        p.destroy();
+                    }
+                };
+                Runtime.getRuntime().addShutdownHook(closeChildThread);
                 Reader reader = new InputStreamReader(p.getInputStream(), UTF_8);
                 BufferedReader br = new BufferedReader(reader);
                 String line;