aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java
diff options
context:
space:
mode:
authorGravatar Lukacs Berki <lberki@google.com>2016-04-19 15:52:55 +0000
committerGravatar Damien Martin-Guillerez <dmarting@google.com>2016-04-20 11:16:39 +0000
commitce1445f94cffc28efba79449eb853522e1b32b22 (patch)
treeafa1c6cc0a637d9297695f547260f6b21ff4cb52 /src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java
parentcf215d38ab76a97ef691bcca7df4541a56bfa6c7 (diff)
Block when another command is running on the server and not on the client when in gRPC mode.
-- MOS_MIGRATED_REVID=120233121
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java')
-rw-r--r--src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java b/src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java
index c23cbf2d72..68df6a7258 100644
--- a/src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java
+++ b/src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java
@@ -247,4 +247,12 @@ public class CommonCommandOptions extends OptionsBase {
category = "hidden",
help = "Enable processing of +<file> parameters.")
public boolean allowProjectFiles;
+
+ @Option(name = "block_for_lock",
+ defaultValue = "true",
+ category = "hidden",
+ help = "If set (the default), a command will block if there is another one running. If "
+ + "unset, these commands will immediately return with an error.")
+ public boolean blockForLock;
+
}