1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-07 00:04:31 +03:00
Commit Graph

3 Commits

Author SHA1 Message Date
Brave Galera Crew
36a2a185fe Galera4 2019-01-23 15:30:00 +04:00
Teemu Ollakka
2f870f5376 Restore original value of wsrep_on after waiting for sync point. 2016-02-22 13:00:27 -05:00
Teemu Ollakka
d01328d73b Helpers to deal with galera dbug sync points. 2016-02-22 12:58:02 -05:00