} else if (isCurrentFlushMessage(fh)) { if (fh.type == FlushHeader.FLUSH_OK) { onFlushOk(msg.getSrc(), fh.viewID); } else if (fh.type == FlushHeader.STOP_FLUSH_OK) { onStopFlushOk(msg.getSrc());
} else if (isCurrentFlushMessage(fh)) { if (fh.type == FlushHeader.FLUSH_OK) { onFlushOk(msg.getSrc(), fh.viewID); } else if (fh.type == FlushHeader.STOP_FLUSH_OK) { onStopFlushOk(msg.getSrc());