Merge pull request #1470 from kuzudb/fix-1466

Fix issue 1466
kuzudb · Apr 17, 2023 · d8856cb · d8856cb
2 parents 6fc38d0 + e05bced
commit d8856cb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/src/include/storage/buffer_manager/buffer_manager.h b/src/include/storage/buffer_manager/buffer_manager.h
@@ -193,6 +193,7 @@ class BufferManager {
     inline common::frame_group_idx_t addNewFrameGroup(common::PageSizeClass pageSizeClass) {
         return vmRegions[pageSizeClass]->addNewFrameGroup();
     }
+    inline void clearEvictionQueue() { evictionQueue = std::make_unique<EvictionQueue>(0); }
 
 private:
     bool claimAFrame(

diff --git a/src/main/database.cpp b/src/main/database.cpp
@@ -56,6 +56,7 @@ Database::Database(const char* databasePath, SystemConfig systemConfig)
 
 Database::~Database() {
     dropLoggers();
+    bufferManager->clearEvictionQueue();
 }
 
 void Database::initDBDirAndCoreFilesIfNecessary() const {