Fix root creation when the root already exists but is owned by another user

This commit is contained in:
Eelco Dolstra
2017-10-19 12:28:06 +02:00
parent b904f25247
commit b04dc6c76e
4 changed files with 13 additions and 2 deletions

View File

@ -841,6 +841,8 @@ void State::run(BuildID buildOne)
jobsetRepeats.emplace(std::make_pair(s2[0], s2[1]), std::stoi(s2[2]));
}
addRoot("/nix/store/rk9lahzm21qm0zjclv6mz0m4hy77wk14-vm-test-run-unnamed.drv");
{
auto conn(dbPool.get());
clearBusy(*conn, 0);