commit 8aa6745498bd4a3868336755b0fd198e0c31d81f
author Googler <noreply@google.com> Fri Jul 21 19:26:36 2017 +0200
committer Jakob Buchgraber <buchgr@google.com> Mon Jul 24 09:51:13 2017 +0200
tree ea3a4802183ece64376644c5a0002fc8ccbf67a2
parent 0b370ae035421d081e186bb26d3cc6371db5c66f

Rephrase server failure warning in Blaze User Manual

PiperOrigin-RevId: 162755817

site/docs/bazel-user-manual.html

diff --git a/site/docs/bazel-user-manual.html b/site/docs/bazel-user-manual.html
index fb725e7..75be04a 100644
--- a/site/docs/bazel-user-manual.html
+++ b/site/docs/bazel-user-manual.html
@@ -3561,8 +3561,8 @@
   fast rule about whether or not your script should use a server, but
   in general, the trade-off is between performance and reliability.
   The server mode makes a sequence of builds, especially incremental
-  builds, faster, but its behavior is more complex and prone to
-  failure.  We recommend in most cases that you use batch mode unless
+  builds, faster, but its behavior is more complex and more likely to
+  fail.  We recommend in most cases that you use batch mode unless
   the performance advantage is critical.
 </p>
 <p>