diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-05-01T13·21+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-05-01T13·21+0000 |
commit | 644946feed146396c00c288337bad26428970aa4 (patch) | |
tree | b371fb4eacd5edf3c30761fd236712ffd7b70828 /src | |
parent | bd1f66453a7a1900f9fa850a7052b3fbe3e26933 (diff) |
* Make --verify more interruptable.
Diffstat (limited to 'src')
-rw-r--r-- | src/libstore/local-store.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libstore/local-store.cc b/src/libstore/local-store.cc index cd83b8350d0b..7b7efc84b3d1 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); |