commit ce1445f94cffc28efba79449eb853522e1b32b22
author Lukacs Berki <lberki@google.com> Tue Apr 19 15:52:55 2016 +0000
committer Damien Martin-Guillerez <dmarting@google.com> Wed Apr 20 11:16:39 2016 +0000
tree afa1c6cc0a637d9297695f547260f6b21ff4cb52
parent cf215d38ab76a97ef691bcca7df4541a56bfa6c7

Block when another command is running on the server and not on the client when in gRPC mode.

--
MOS_MIGRATED_REVID=120233121

src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java

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 c23cbf2..68df6a7 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 @@
       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;
+
 }