diff options
| -rw-r--r-- | bbot/agent/agent.cxx | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bbot/agent/agent.cxx b/bbot/agent/agent.cxx index 5fc3bc9..9e39b0a 100644 --- a/bbot/agent/agent.cxx +++ b/bbot/agent/agent.cxx @@ -723,6 +723,12 @@ try // bootstrap the new machine. Then atomically rename it to // <name>-<toolchain>. // + // Also release all the machine locks that we have acquired so far + // since the bootstrap will take a while and other instances might + // be able to use them. + // + r.clear (); + bmm = bootstrap_machine (xp, mm, move (bmm)); if (!bmm) |