public void Close() { if (Manager != null) { Manager.Dispose(); } }
public void Close() { Manager?.Dispose(); Config.WriterCheckpoint.Close(); Config.ChaserCheckpoint.Close(); Config.EpochCheckpoint.Close(); Config.TruncateCheckpoint.Close(); Config.ProposalCheckpoint.Close(); }
public void Close() { if (Manager != null) { Manager.Dispose(); } Config.WriterCheckpoint.Close(); Config.ChaserCheckpoint.Close(); Config.EpochCheckpoint.Close(); Config.TruncateCheckpoint.Close(); }