Mark embedded library as deinited.

MariaDB · Jun 25, 2018 · 1ace3b3 · 1ace3b3
1 parent 69b9ed0
commit 1ace3b3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/libmysqld/lib_sql.cc b/libmysqld/lib_sql.cc
@@ -654,6 +654,7 @@ void end_embedded_server()
     copy_arguments_ptr=0;
     clean_up(0);
     clean_up_mutexes();
+    mysql_embedded_init= 0;
   }
 }