diff options
author | 2016-04-21 08:14:08 +0000 | |
---|---|---|
committer | 2016-04-21 11:02:31 +0000 | |
commit | 7e0249e4a73549684fcb8b1ebcf379d19c9d65d3 (patch) | |
tree | d82eae31779317cb39f3ef62399d5aa26f9cc693 /src/main/java/com/google/devtools/common/options/Converters.java | |
parent | 760e70958a47218b4c8edde90da0c7a23fa0e725 (diff) |
Assorted changes wrt. gRPC client/server comms:
- Actually make it work again (commit 00cfb7df61b1f3d9fac8ee29d92b315cbfe6d28f broke it, maybe I shouldn't send out changes in a hurry next time)
- Rename --grpc_port to --command_port (it's a bit better name)
- Do not send a kill signal to the server that can't be connected if we only connect to it to verify its presence
--
MOS_MIGRATED_REVID=120418784
Diffstat (limited to 'src/main/java/com/google/devtools/common/options/Converters.java')
0 files changed, 0 insertions, 0 deletions