From 232beb2adfd6e879480dcfb11e0fe755e48437e3 Mon Sep 17 00:00:00 2001 From: Oleh Nikolaiev Date: Mon, 15 May 2023 17:00:58 +0100 Subject: [PATCH] fix leveldb destructor --- libdevcore/LevelDB.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/libdevcore/LevelDB.cpp b/libdevcore/LevelDB.cpp index 1607813d8..331935832 100644 --- a/libdevcore/LevelDB.cpp +++ b/libdevcore/LevelDB.cpp @@ -124,6 +124,8 @@ LevelDB::LevelDB( boost::filesystem::path const& _path, leveldb::ReadOptions _re } LevelDB::~LevelDB() { + if ( m_db ) + m_db.reset(); if ( m_options.filter_policy ) delete m_options.filter_policy; }