docs: private void setMigratePartitionLeaderStatus(MigratePartitionLeaderMessage message) {
  
          //The host with old partition leader is down.
          if (message.isStatusReset()) {
              m_migratePartitionLeaderStatus = MigratePartitionLeaderStatus.NONE;
              return;
          }
  
          if (m_migratePartitionLeaderStatus == MigratePartitionLeaderStatus.NONE) {
              //txn draining notification from the old leader arrives before this site is promoted
              m_migratePartitionLeaderStatus = MigratePartitionLeaderStatus.TXN_DRAINED;
          } else if (m_migratePartitionLeaderStatus == MigratePartitionLeaderStatus.TXN_RESTART) {
              //if the new leader has been promoted, stop restarting txns.
              m_migratePartitionLeaderStatus = MigratePartitionLeaderStatus.NONE;
          }
  
          tmLog.info("MigratePartitionLeader new leader " +
                  CoreUtils.hsIdToString(m_hsId) + " is notified by previous leader " +
                  CoreUtils.hsIdToString(message.getPriorLeaderHSID()) + ". status:" + m_migratePartitionLeaderStatus);
      }