diff options
Diffstat (limited to 'src/libstore')
| -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); |