diff options
| author |  olaola <olaola@google.com> | 2017-07-11 23:31:20 +0200 |
|---|---|---|
| committer |  László Csomor <laszlocsomor@google.com> | 2017-07-12 08:50:39 +0200 |
| commit | d0f0fa5e1f910ab5b4b82ba115aa5445a9f395bb (patch) | |
| tree | 92c55bec5b878b481d7ffca6e12b7ccfd10ff923 /src/main/java/com/google/devtools/build/lib | |
| parent | 5694e7792d15e66c4e2e13b6b263578fdb229df7 (diff) | |
Pass timeouts to the RemoteWorker.
PiperOrigin-RevId: 161582236
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib')
0 files changed, 0 insertions, 0 deletions