1 files changed, 8 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/runtime/BlazeRuntime.java b/src/main/java/com/google/devtools/build/lib/runtime/BlazeRuntime.java
index dc67a17f9d..9d040bd31d 100644
--- a/src/main/java/com/google/devtools/build/lib/runtime/BlazeRuntime.java
+++ b/src/main/java/com/google/devtools/build/lib/runtime/BlazeRuntime.java
@@ -473,12 +473,20 @@ public final class BlazeRuntime {
     return commandMap;
   }
 
+  /** Invokes {@link BlazeModule#blazeShutdown()} on all registered modules. */
   public void shutdown() {
     for (BlazeModule module : blazeModules) {
       module.blazeShutdown();
     }
   }
 
+  /** Invokes {@link BlazeModule#blazeShutdownOnCrash()} on all registered modules. */
+  public void shutdownOnCrash() {
+    for (BlazeModule module : blazeModules) {
+      module.blazeShutdownOnCrash();
+    }
+  }
+
   /**
    * Returns the defaults package for the default settings. Should only be called by commands that
    * do <i>not</i> process {@link BuildOptions}, since build options can alter the contents of the