diff options
author | Lukacs Berki <lberki@google.com> | 2016-11-08 09:48:27 +0000 |
---|---|---|
committer | Klaus Aehlig <aehlig@google.com> | 2016-11-08 14:54:50 +0000 |
commit | 71675a51bba3432447b2f39c1e9503dc090b6df2 (patch) | |
tree | b118780f7e2f5bddc528c0154f8a1a78a2b32569 /src/main/java | |
parent | b36aefbfbc6ba87e2cb1469e919d13b68730c17d (diff) |
Add two startup options:
- --client_debug that turns out debug logging from the client
- --connect_timeout_secs that controls the timeout of the initial Ping() RPC from the client to the server
--
MOS_MIGRATED_REVID=138491791
Diffstat (limited to 'src/main/java')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/runtime/BlazeServerStartupOptions.java | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/runtime/BlazeServerStartupOptions.java b/src/main/java/com/google/devtools/build/lib/runtime/BlazeServerStartupOptions.java index 1849c3672e..64a9da783e 100644 --- a/src/main/java/com/google/devtools/build/lib/runtime/BlazeServerStartupOptions.java +++ b/src/main/java/com/google/devtools/build/lib/runtime/BlazeServerStartupOptions.java @@ -274,4 +274,16 @@ public class BlazeServerStartupOptions extends OptionsBase { category = "undocumented", help = "Whether or not to write the command.log file") public boolean writeCommandLog; + + @Option(name = "client_debug", + defaultValue = "false", // NOTE: purely decorative! + category = "server startup", + help = "If true, log debug information from the client to stderr") + public boolean clientDebug; + + @Option(name = "connect_timeout_secs", + defaultValue = "10", + category = "server startup", + help = "The amount of time the client waits for each attempt to connect to the server") + public int connectTimeoutSecs; } |