diff options
| author |  lberki <lberki@google.com> | 2017-06-12 12:18:28 +0200 |
|---|---|---|
| committer |  Yun Peng <pcloudy@google.com> | 2017-06-12 17:39:45 +0200 |
| commit | 1d45b5d1db749455f424aa0086577261e560fe7b (patch) | |
| tree | 9480b5ddd2cd906e05190d3616a4b7a95ee2575c /src/main/java/com/google/devtools/build/lib/events | |
| parent | 3833302f8f8e37bc7955ee8bf3a995d0ccb95f87 (diff) | |
Fix a thread safety issue in ErrorSensingEventHandler.
RELNOTES: none.
PiperOrigin-RevId: 158694769
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/events')
| -rw-r--r-- | src/main/java/com/google/devtools/build/lib/events/ErrorSensingEventHandler.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/events/ErrorSensingEventHandler.java b/src/main/java/com/google/devtools/build/lib/events/ErrorSensingEventHandler.java index 3286efad0a..4057765073 100644 --- a/src/main/java/com/google/devtools/build/lib/events/ErrorSensingEventHandler.java +++ b/src/main/java/com/google/devtools/build/lib/events/ErrorSensingEventHandler.java @@ -28,7 +28,9 @@ public final class ErrorSensingEventHandler extends DelegatingEventHandler { @Override public void handle(Event e) { - hasErrors |= e.getKind() == EventKind.ERROR; + if (e.getKind() == EventKind.ERROR) { + hasErrors = true; + } super.handle(e); } |