1
0
mirror of https://github.com/codership/wsrep-lib.git synced 2025-07-28 20:02:00 +03:00

Variable desynced_on_pause getter

This commit is contained in:
mkaruza
2020-04-02 15:18:29 +02:00
parent 0cec027030
commit d0255569b0

View File

@ -468,6 +468,12 @@ namespace wsrep
*/ */
void resume_and_resync(); void resume_and_resync();
/**
* True if server has issued and active desync and pause in one go,
* false otherwise.
*/
bool desynced_on_pause() const { return desynced_on_pause_; }
/** /**
* Prepares server state for SST. * Prepares server state for SST.
* *