diff options
| author |  Googler <noreply@google.com> | 2017-10-09 21:33:04 +0200 |
|---|---|---|
| committer |  Marcel Hlopko <hlopko@google.com> | 2017-10-10 11:22:19 +0200 |
| commit | 61977f4ae57c877fc28be176f36c28642b276eec (patch) | |
| tree | 726a6653826c91f52ca4f2eed842624c0d9f283e /src/test/java/com | |
| parent | 231391db841b95a4e1bccade87cbd5d7da215b2d (diff) | |
Don't release the client lock while the server executes a command. The
server still doesn't support concurrency, even for commands like 'help',
so there's no benefit from releasing it.
This also improves progress messages. Today the client may print
WARNING: Running Blaze server needs to be killed, because the startup options are different.
and then wait indefinitely while the server finishes processing a
request. With this change, an explanation for the delay is given.
RELNOTES: None.
PiperOrigin-RevId: 171571670
Diffstat (limited to 'src/test/java/com')
0 files changed, 0 insertions, 0 deletions