diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2018-12-06 08:31:40 +0100 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2018-12-06 08:31:40 +0100 |
| commit | fdb632f24ca6fe949b51ca37648ef72732a116c8 (patch) | |
| tree | d6a6a164ffa344098dd9b3e38e45d4f7cad13c16 | |
| parent | a6315833d3ca7eac414b8496d8ff12a7f30a4145 (diff) | |
| download | nextpnr-fdb632f24ca6fe949b51ca37648ef72732a116c8.tar.gz nextpnr-fdb632f24ca6fe949b51ca37648ef72732a116c8.tar.bz2 nextpnr-fdb632f24ca6fe949b51ca37648ef72732a116c8.zip | |
Fix crash exiting nextpnr gui
| -rw-r--r-- | gui/worker.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gui/worker.cc b/gui/worker.cc index b009ecd3..900883d4 100644 --- a/gui/worker.cc +++ b/gui/worker.cc @@ -126,6 +126,7 @@ TaskManager::TaskManager() : toTerminate(false), toPause(false) TaskManager::~TaskManager() { + log_write_function = nullptr; if (workerThread.isRunning()) terminate_thread(); workerThread.quit(); |