mirror of
https://github.com/MariaDB/server.git
synced 2025-07-29 05:21:33 +03:00
@ -115,13 +115,6 @@ void Master_info::wait_until_free()
|
||||
Master_info::~Master_info()
|
||||
{
|
||||
wait_until_free();
|
||||
#ifdef WITH_WSREP
|
||||
/*
|
||||
Do not free "wsrep" rpl_filter. It will eventually be freed by
|
||||
free_all_rpl_filters() when server terminates.
|
||||
*/
|
||||
if (strncmp(connection_name.str, STRING_WITH_LEN("wsrep")))
|
||||
#endif
|
||||
my_free(connection_name.str);
|
||||
delete_dynamic(&ignore_server_ids);
|
||||
mysql_mutex_destroy(&run_lock);
|
||||
|
Reference in New Issue
Block a user