database/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00
Code Activity

Mark embedded library as deinited.

Browse Source
This commit is contained in:
Oleksandr Byelkin
2018-06-25 14:50:36 +02:00
parent 69b9ed063b
commit 1ace3b3fad
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
libmysqld/lib_sql.cc
View File

@@ -654,6 +654,7 @@ void end_embedded_server()
copy_arguments_ptr=0; copy_arguments_ptr=0;
clean_up(0); clean_up(0);
clean_up_mutexes(); clean_up_mutexes();
mysql_embedded_init= 0;
} }
} }