diff options
author | 2017-12-08 12:00:13 -0800 | |
---|---|---|
committer | 2017-12-08 12:02:16 -0800 | |
commit | 6d6a577e1d16b416da17ead7822c807ae68543c1 (patch) | |
tree | 916363f481dc76ac48e8fef7c0312e29f8423b4f /src/main | |
parent | 71c14413070743c8a300e143c9f213d38d4a8e10 (diff) |
Remove redundant words in logging message.
RELNOTES: None
PiperOrigin-RevId: 178407067
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/runtime/BlazeRuntime.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/runtime/BlazeRuntime.java b/src/main/java/com/google/devtools/build/lib/runtime/BlazeRuntime.java index 1ad13c1ac6..65e5954fc9 100644 --- a/src/main/java/com/google/devtools/build/lib/runtime/BlazeRuntime.java +++ b/src/main/java/com/google/devtools/build/lib/runtime/BlazeRuntime.java @@ -568,9 +568,9 @@ public final class BlazeRuntime { System.exit(batchMain(modules, args)); } logger.info( - "Starting Blaze server with pid " + "Starting Blaze server with " + maybeGetPidString() - + " and args " + + "args " + Arrays.toString(args)); try { // Run Blaze in server mode. |