From 4bc4da331aae13be8a39e768524a854597addd8a Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Tue, 29 May 2012 22:59:12 -0400 Subject: Reserve some disk space for the garbage collector We can't open a SQLite database if the disk is full. Since this prevents the garbage collector from running when it's most needed, we reserve some dummy space that we can free just before doing a garbage collection. This actually revives some old code from the Berkeley DB days. Fixes #27. --- src/libstore/local-store.hh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/libstore/local-store.hh') diff --git a/src/libstore/local-store.hh b/src/libstore/local-store.hh index 8e3cbe5ce1..0ff3e7b39f 100644 --- a/src/libstore/local-store.hh +++ b/src/libstore/local-store.hh @@ -91,7 +91,7 @@ public: /* Initialise the local store, upgrading the schema if necessary. */ - LocalStore(); + LocalStore(bool reserveSpace = true); ~LocalStore(); -- cgit 1.4.1