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/libmain/shared.cc | |
| parent | fa95f4be3f4df6ebe4d49ec57a66129f645e36c7 (diff) | |
* Close the database before the destructor runs.
Diffstat (limited to 'src/libmain/shared.cc')
| -rw-r--r-- | src/libmain/shared.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc index a832344c9..1e48a6365 100644 --- a/src/libmain/shared.cc +++ b/src/libmain/shared.cc @@ -14,6 +14,7 @@ extern "C" { #include "globals.hh" #include "gc.hh" +#include "store.hh" #include "shared.hh" #include "config.h" @@ -213,6 +214,8 @@ static void initAndRun(int argc, char * * argv) RemoveTempRoots removeTempRoots; /* unused variable - don't remove */ run(remaining); + + closeDB(); /* it's fine if the DB isn't actually open */ } |