public void Dispose() { _unusedPagesHashSetPool.Clear(); _unusedPages.Clear(); _pageTranslationTable.Clear(); _journalWriter = null; }
public void Dispose() { if (_transactionHeaders != null) { ArrayPool <TransactionHeader> .Shared.Return(_transactionHeaders); } _transactionHeaders = null; _unusedPagesHashSetPool.Clear(); _unusedPages.Clear(); _pageTranslationTable.Clear(); _journalWriter = null; }