aboutsummaryrefslogtreecommitdiffstats
path: root/gui/ice40
diff options
context:
space:
mode:
authorMiodrag Milanovic <mmicko@gmail.com>2018-06-22 12:24:50 +0200
committerMiodrag Milanovic <mmicko@gmail.com>2018-06-22 12:49:40 +0200
commit5cb893aebdfdf711755b9bf610b36b8ff2d942ff (patch)
tree7f3076a0556bc43104d92aa758f79636caee382d /gui/ice40
parent3cd12e3671e5ee108f039cb4350bf885164a8cf5 (diff)
downloadnextpnr-5cb893aebdfdf711755b9bf610b36b8ff2d942ff.tar.gz
nextpnr-5cb893aebdfdf711755b9bf610b36b8ff2d942ff.tar.bz2
nextpnr-5cb893aebdfdf711755b9bf610b36b8ff2d942ff.zip
terminate on close
Diffstat (limited to 'gui/ice40')
-rw-r--r--gui/ice40/worker.cc2
1 files changed, 2 insertions, 0 deletions
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();
}