| commit | 30f04a1f9c98ad2536df338bdcb1b67a168c4190 | [log] [tgz] |
|---|---|---|
| author | Googler <noreply@google.com> | Tue Aug 14 04:48:59 2018 -0700 |
| committer | Copybara-Service <copybara-piper@google.com> | Tue Aug 14 04:50:24 2018 -0700 |
| tree | fe4ccd5f82c3e301212d6e2e6f72bcbd97ca2424 | |
| parent | 761560c2dc9af357a8457ac85e05208a4ebde48b [diff] |
Mark FancyTerminalEventHandler.handle() as synchronized. A previous change removed "sychronized" from Reporter.handle() as we want to be able to let EventHandlers care about their own synchronization. RELNOTES: None. PiperOrigin-RevId: 208628638
diff --git a/src/main/java/com/google/devtools/build/lib/runtime/FancyTerminalEventHandler.java b/src/main/java/com/google/devtools/build/lib/runtime/FancyTerminalEventHandler.java index 90975de..1154c62 100644 --- a/src/main/java/com/google/devtools/build/lib/runtime/FancyTerminalEventHandler.java +++ b/src/main/java/com/google/devtools/build/lib/runtime/FancyTerminalEventHandler.java
@@ -128,7 +128,7 @@ } @Override - public void handle(Event event) { + public synchronized void handle(Event event) { if (terminalClosed) { return; }