From d0255569b0154e23c5461ed13928f9b0a18008e4 Mon Sep 17 00:00:00 2001
From: mkaruza <mario.karuza@galeracluster.com>
Date: Thu, 2 Apr 2020 15:18:29 +0200
Subject: [PATCH] Variable desynced_on_pause getter

---
 include/wsrep/server_state.hpp | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/include/wsrep/server_state.hpp b/include/wsrep/server_state.hpp
index 6e2d9d7..fc5e016 100644
--- a/include/wsrep/server_state.hpp
+++ b/include/wsrep/server_state.hpp
@@ -468,6 +468,12 @@ namespace wsrep
          */
         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.
          *