diff options
author | unknown <knielsen@knielsen-hq.org> | 2014-02-10 15:12:17 +0100 |
---|---|---|
committer | unknown <knielsen@knielsen-hq.org> | 2014-02-10 15:12:17 +0100 |
commit | dd93ec5633c325748118ec8f23028715d1935820 (patch) | |
tree | 29aa2272a2782792024a4d1fd79b845f72122b96 /sql/sql_repl.cc | |
parent | e8193eeb8d90148f1cd46f085c96b2f3e3139d39 (diff) | |
parent | f3a6f86ec3452b346de513075f72dbd02549a5fb (diff) | |
download | mariadb-git-dd93ec5633c325748118ec8f23028715d1935820.tar.gz |
Merge MariaDB 10.0-base to 10.0.
Diffstat (limited to 'sql/sql_repl.cc')
-rw-r--r-- | sql/sql_repl.cc | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/sql/sql_repl.cc b/sql/sql_repl.cc index b2b111dadc3..418e0a1549f 100644 --- a/sql/sql_repl.cc +++ b/sql/sql_repl.cc @@ -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. |