aboutsummaryrefslogtreecommitdiffhomepage
path: root/src
diff options
context:
space:
mode:
authorGravatar shreyax <shreyax@google.com>2017-06-15 20:50:42 +0200
committerGravatar Yun Peng <pcloudy@google.com>2017-06-16 09:27:12 +0200
commitdaa17773ce757ba72db83b03d4a31bbbbbb70d18 (patch)
tree5989ccabea1f185cd4c581c40575b7cc0531e644 /src
parent55f09409585afbee1889cebe1ec4d039c39681f4 (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.java7
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