diff options
author | 2017-06-15 20:50:42 +0200 | |
---|---|---|
committer | 2017-06-16 09:27:12 +0200 | |
commit | daa17773ce757ba72db83b03d4a31bbbbbb70d18 (patch) | |
tree | 5989ccabea1f185cd4c581c40575b7cc0531e644 /src | |
parent | 55f09409585afbee1889cebe1ec4d039c39681f4 (diff) |
Unconditionally shut down the execution tool, even after catastrophes.
RELNOTES: None.
PiperOrigin-RevId: 159132957
Diffstat (limited to 'src')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/buildtool/BuildTool.java | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/buildtool/BuildTool.java b/src/main/java/com/google/devtools/build/lib/buildtool/BuildTool.java index 821e62b0de..e6e5e72302 100644 --- a/src/main/java/com/google/devtools/build/lib/buildtool/BuildTool.java +++ b/src/main/java/com/google/devtools/build/lib/buildtool/BuildTool.java @@ -261,16 +261,15 @@ public final class BuildTool { catastrophe = true; throw e; } finally { + if (executionTool != null) { + executionTool.shutdown(); + } if (!catastrophe) { // Delete dirty nodes to ensure that they do not accumulate indefinitely. long versionWindow = request.getViewOptions().versionWindowForDirtyNodeGc; if (versionWindow != -1) { env.getSkyframeExecutor().deleteOldNodes(versionWindow); } - - if (executionTool != null) { - executionTool.shutdown(); - } // The workspace status actions will not run with certain flags, or if an error // occurs early in the build. Tell a lie so that the event is not missing. // If multiple build_info events are sent, only the first is kept, so this does not harm |