Fix crash exiting nextpnr gui

2018-12-06 08:31:40 +01:00 · 2018-12-06 08:31:40 +01:00 · fdb632f24c
commit fdb632f24c
parent a6315833d3
1 changed files with 1 additions and 0 deletions
--- 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();