From 5cb893aebdfdf711755b9bf610b36b8ff2d942ff Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 22 Jun 2018 12:24:50 +0200
Subject: terminate on close

---
 gui/ice40/worker.cc | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'gui')

diff --git a/gui/ice40/worker.cc b/gui/ice40/worker.cc
index a309f868..4b101e7e 100644
--- a/gui/ice40/worker.cc
+++ b/gui/ice40/worker.cc
@@ -61,6 +61,8 @@ TaskManager::TaskManager(Context *ctx) : toTerminate(false)
 
 TaskManager::~TaskManager()
 {
+    if (workerThread.isRunning()) 
+        terminate_thread();
     workerThread.quit();
     workerThread.wait();
 }
-- 
cgit v1.2.3