aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2007-05-01 13:21:05 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2007-05-01 13:21:05 +0000
commit644946feed146396c00c288337bad26428970aa4 (patch)
treeb371fb4eacd5edf3c30761fd236712ffd7b70828
parentbd1f66453a7a1900f9fa850a7052b3fbe3e26933 (diff)
* Make --verify more interruptable.
-rw-r--r--src/libstore/local-store.cc1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libstore/local-store.cc b/src/libstore/local-store.cc
index cd83b8350..7b7efc84b 100644
--- a/src/libstore/local-store.cc
+++ b/src/libstore/local-store.cc
@@ -934,6 +934,7 @@ void verifyStore(bool checkContents)
nixDB.enumTable(txn, dbValidPaths, paths);
for (Paths::iterator i = paths.begin(); i != paths.end(); ++i) {
+ checkInterrupt();
if (!pathExists(*i)) {
printMsg(lvlError, format("path `%1%' disappeared") % *i);
invalidatePath(txn, *i);