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