if (m_isLeader) {
// write the viable set locally
long faultSpHandle = advanceTxnEgo().getTxnId();
writeIv2ViableReplayEntryInternal(faultSpHandle);
// Generate Iv2LogFault message and send it to replicas
Iv2LogFaultMessage faultMsg = new Iv2LogFaultMessage(faultSpHandle);
m_mailbox.send(m_sendToHSIds,
faultMsg);
}
}
}