diff options
author | Philipp Wollermann <philwo@google.com> | 2015-09-21 14:04:55 +0000 |
---|---|---|
committer | Damien Martin-Guillerez <dmarting@google.com> | 2015-09-21 14:26:08 +0000 |
commit | 40dd02c9f721d31c64995feed92891bb5ac2dbd4 (patch) | |
tree | 1345a4d7d6f2fca97d7da9454d34fa362097dc5b /src/java_tools | |
parent | 3cb162d96e6b9253f5c8f81e857f0aa787be59bf (diff) |
workers: Use the new worker testbed to check that workers get reused correctly, restart after a clean exit and that workers returning junk are being dealt with.
--
MOS_MIGRATED_REVID=103542544
Diffstat (limited to 'src/java_tools')
0 files changed, 0 insertions, 0 deletions