diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-03-01 16:36:35 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-03-01 16:36:35 +0000 |
commit | d822bf32e470e46a3634638fee3c4b1472d2cd26 (patch) | |
tree | 031d79cc5f4bd420d3a601ab8de923d351b59766 /src/libstore | |
parent | fa95f4be3f4df6ebe4d49ec57a66129f645e36c7 (diff) |
* Close the database before the destructor runs.
Diffstat (limited to 'src/libstore')
-rw-r--r-- | src/libstore/db.cc | 2 | ||||
-rw-r--r-- | src/libstore/store.cc | 7 | ||||
-rw-r--r-- | src/libstore/store.hh | 3 |
3 files changed, 12 insertions, 0 deletions
diff --git a/src/libstore/db.cc b/src/libstore/db.cc index 448b70e6c..667951ae7 100644 --- a/src/libstore/db.cc +++ b/src/libstore/db.cc @@ -278,6 +278,8 @@ void Database::close() } catch (DbException e) { rethrow(e); } delete env; + + env = 0; } diff --git a/src/libstore/store.cc b/src/libstore/store.cc index 94c992f22..e792fd28c 100644 --- a/src/libstore/store.cc +++ b/src/libstore/store.cc @@ -136,6 +136,13 @@ void initDB() } +void closeDB() +{ + /* If the database isn't open, this is a NOP. */ + nixDB.close(); +} + + void createStoreTransaction(Transaction & txn) { Transaction txn2(nixDB); diff --git a/src/libstore/store.hh b/src/libstore/store.hh index c617585ba..a170c69e7 100644 --- a/src/libstore/store.hh +++ b/src/libstore/store.hh @@ -49,6 +49,9 @@ void openDB(bool reserveSpace = true); /* Create the required database tables. */ void initDB(); +/* Close the database. */ +void closeDB(); + /* Get a transaction object. */ void createStoreTransaction(Transaction & txn); |