diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2018-06-22 12:24:50 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2018-06-22 12:49:40 +0200 |
| commit | 5cb893aebdfdf711755b9bf610b36b8ff2d942ff (patch) | |
| tree | 7f3076a0556bc43104d92aa758f79636caee382d /gui | |
| parent | 3cd12e3671e5ee108f039cb4350bf885164a8cf5 (diff) | |
| download | nextpnr-5cb893aebdfdf711755b9bf610b36b8ff2d942ff.tar.gz nextpnr-5cb893aebdfdf711755b9bf610b36b8ff2d942ff.tar.bz2 nextpnr-5cb893aebdfdf711755b9bf610b36b8ff2d942ff.zip | |
terminate on close
Diffstat (limited to 'gui')
| -rw-r--r-- | gui/ice40/worker.cc | 2 |
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(); } |