From c415cb449f7eb07b14cf1828ca9d06aaff8de41b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Javier=20Jaramago=20Fern=C3=A1ndez?=
 <jaramago.fernandez.javier@gmail.com>
Date: Wed, 1 Jul 2020 18:02:23 +0200
Subject: [PATCH] Fixes #2918: Worker needs to be nullified after being
 deleted, otherwise freed memory will be accessed later

---
 src/main.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main.cpp b/src/main.cpp
index 0e1427878..3cf2057b8 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -766,6 +766,7 @@ void * mysql_worker_thread_func(void *arg) {
 	worker->run();
 	//delete worker;
 	delete worker;
+	mysql_thread->worker=NULL;
 //	l_mem_destroy(__thr_sfp);
 	__sync_fetch_and_sub(&GloVars.statuses.stack_memory_mysql_threads,tmp_stack_size);
 	return NULL;