1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-27 18:02:13 +03:00

Merge MariaDB 10.0-base to 10.0.

This commit is contained in:
unknown
2014-02-10 15:12:17 +01:00
44 changed files with 1420 additions and 134 deletions

View File

@ -3966,6 +3966,20 @@ rpl_deinit_gtid_slave_state()
}
void
rpl_init_gtid_waiting()
{
rpl_global_gtid_waiting.init();
}
void
rpl_deinit_gtid_waiting()
{
rpl_global_gtid_waiting.destroy();
}
/*
Format the current GTID state as a string, for returning the value of
@@global.gtid_slave_pos.