diff options
| author |  Lukacs Berki <lberki@google.com> | 2016-04-19 07:42:22 +0000 |
|---|---|---|
| committer |  Damien Martin-Guillerez <dmarting@google.com> | 2016-04-19 09:48:13 +0000 |
| commit | f1df38a5131a06a8b7047b99a5f887938e5a7623 (patch) | |
| tree | 5965e849153333aa68488483f21e693738210526 /src/main/java/com/google/devtools/build/lib/runtime/AbstractCriticalPathComponent.java | |
| parent | bb0dac7ea6447f6676ac14f2e5b0833fb6958655 (diff) | |
Make it possible to interrupt commands when communicating over gRPC.
Drive-by fix: eliminate the GRPC messages from the console by passing a null logging function.
This also prepares us for the time when multiple commands will be running, because then we'll need to tell which command exactly we want to interrupt.
Work towards #930.
--
MOS_MIGRATED_REVID=120203008
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/runtime/AbstractCriticalPathComponent.java')
0 files changed, 0 insertions, 0 deletions