diff options
| author |  ruperts <ruperts@google.com> | 2017-11-04 07:58:02 +0100 |
|---|---|---|
| committer |  Damien Martin-Guillerez <dmarting@google.com> | 2017-11-06 20:20:28 +0100 |
| commit | 0510f4a7feaa1f8806cf46d151b78114d6f4f5a1 (patch) | |
| tree | 74bc3f258c3879bdf294303ed8aadeff4e2131cd /src/main/java/com/google/devtools/build/lib/exec | |
| parent | 02fb4bb419c7ad43b17d0cffae7787bf1fa0c676 (diff) | |
Add optional user execution time and system execution time fields to TerminationStatus, and also add a TerminationStatus.Builder and tests.
RELNOTES: None.
PiperOrigin-RevId: 174557303
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/exec')
| -rw-r--r-- | src/main/java/com/google/devtools/build/lib/exec/local/LocalSpawnRunner.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/exec/local/LocalSpawnRunner.java b/src/main/java/com/google/devtools/build/lib/exec/local/LocalSpawnRunner.java index c5f1657d83..af042af8d0 100644 --- a/src/main/java/com/google/devtools/build/lib/exec/local/LocalSpawnRunner.java +++ b/src/main/java/com/google/devtools/build/lib/exec/local/LocalSpawnRunner.java @@ -319,7 +319,7 @@ public final class LocalSpawnRunner implements SpawnRunner { setState(State.SUCCESS); Duration wallTime = Duration.ofMillis(System.currentTimeMillis() - startTime); boolean wasTimeout = - result.getTerminationStatus().timedout() + result.getTerminationStatus().timedOut() || (useProcessWrapper && wasTimeout(policy.getTimeout(), wallTime)); Status status = wasTimeout ? Status.TIMEOUT : Status.SUCCESS; int exitCode = |