1
1
Fork 0
mirror of https://github.com/NixOS/nix.git synced 2025-11-27 12:41:00 +01:00

Merged R8632

This commit is contained in:
Wouter den Breejen 2007-10-08 10:15:18 +00:00
parent 3800f55b54
commit 8e9c7d9338
6 changed files with 53 additions and 8 deletions

View file

@ -697,8 +697,8 @@ DerivationGoal::~DerivationGoal()
try {
killChild();
deleteTmpDir(false);
} catch (Error & e) {
printMsg(lvlError, format("error (ignored): %1%") % e.msg());
} catch (...) {
ignoreException();
}
}