mirror of
https://github.com/MariaDB/server.git
synced 2026-04-24 17:25:31 +02:00
Post merge fixes.
This commit is contained in:
parent
90266e8a0e
commit
3575618237
13 changed files with 63 additions and 57 deletions
|
|
@ -92,7 +92,9 @@ extern bool wsrep_slave_threads_update UPDATE_ARGS;
|
|||
extern bool wsrep_desync_check CHECK_ARGS;
|
||||
extern bool wsrep_desync_update UPDATE_ARGS;
|
||||
|
||||
extern bool wsrep_max_ws_size_check CHECK_ARGS;
|
||||
extern bool wsrep_max_ws_size_update UPDATE_ARGS;
|
||||
|
||||
#else /* WITH_WSREP */
|
||||
|
||||
#define WSREP_NONE
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue