1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Merge branch '10.0' into 10.1

This commit is contained in:
Kristian Nielsen
2015-04-21 10:31:39 +02:00
2 changed files with 4 additions and 4 deletions

View File

@ -226,7 +226,7 @@ SET SESSION debug_dbug= @old_dbug;
INSERT INTO t1 SELECT a, "conservative" FROM t4;
DROP TEMPORARY TABLE t4;
SELECT * FROM t1 WHERE a >= 30 ORDER BY a;
--source include/save_master_pos.inc
--source include/save_master_gtid.inc
--connection server_2
--source include/sync_with_master_gtid.inc
@ -245,7 +245,7 @@ INSERT INTO t1 SELECT a, "optimistic" FROM t4;
DROP TEMPORARY TABLE t4;
SELECT * FROM t1 WHERE a >= 30 ORDER BY a;
--source include/save_master_pos.inc
--source include/save_master_gtid.inc
--connection server_2
--source include/start_slave.inc