From d822bf32e470e46a3634638fee3c4b1472d2cd26 Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Wed, 1 Mar 2006 16:36:35 +0000 Subject: * Close the database before the destructor runs. --- src/libmain/shared.cc | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/libmain') diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc index a832344c9c49..1e48a6365220 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 */ } -- cgit 1.4.1