diff options
| author |  Rumou Duan <rduan@google.com> | 2016-10-06 15:57:36 +0000 |
|---|---|---|
| committer |  Damien Martin-Guillerez <dmarting@google.com> | 2016-10-07 08:06:10 +0000 |
| commit | 2756c024c599d6cef8efcedfa11699b0713178c3 (patch) | |
| tree | c203eda50f6695d5537a8be89ec70ede20b88047 /src/main/java/com/google/devtools/build/lib/exec/OutputService.java | |
| parent | 69e172698af83488b267d3070d90f9dd6fb00cbb (diff) | |
Allow OutputService#finalizeBuild to throw InterruptedException.
--
MOS_MIGRATED_REVID=135364451
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/exec/OutputService.java')
| -rw-r--r-- | src/main/java/com/google/devtools/build/lib/exec/OutputService.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/exec/OutputService.java b/src/main/java/com/google/devtools/build/lib/exec/OutputService.java index d4c38e5740..aaeb414c8a 100644 --- a/src/main/java/com/google/devtools/build/lib/exec/OutputService.java +++ b/src/main/java/com/google/devtools/build/lib/exec/OutputService.java @@ -72,7 +72,8 @@ public interface OutputService { * @param buildSuccessful iff build was successful * @throws BuildFailedException on failure */ - void finalizeBuild(boolean buildSuccessful) throws BuildFailedException, AbruptExitException; + void finalizeBuild(boolean buildSuccessful) + throws BuildFailedException, AbruptExitException, InterruptedException; /** Notify the output service of a completed action. */ void finalizeAction(Action action, MetadataHandler metadataHandler) |