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

Helpers to deal with galera dbug sync points.

This commit is contained in:
Teemu Ollakka
2015-09-13 18:57:20 +03:00
committed by Nirbhay Choubey
parent 17b5cb6172
commit d01328d73b
11 changed files with 31 additions and 15 deletions

View File

@ -0,0 +1,5 @@
let $wait_timeout = 10;
SET SESSION wsrep_on = 0;
--let $wait_condition = SELECT 1 FROM INFORMATION_SCHEMA.GLOBAL_STATUS WHERE VARIABLE_NAME = 'wsrep_debug_sync_waiters' AND VARIABLE_VALUE = '$galera_sync_point'
--source include/wait_condition.inc
SET SESSION wsrep_on = 1;