diff options
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/server/GrpcServerImpl.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/server/GrpcServerImpl.java b/src/main/java/com/google/devtools/build/lib/server/GrpcServerImpl.java index 0fc7a06a64..fe68b910ad 100644 --- a/src/main/java/com/google/devtools/build/lib/server/GrpcServerImpl.java +++ b/src/main/java/com/google/devtools/build/lib/server/GrpcServerImpl.java @@ -825,6 +825,8 @@ public class GrpcServerImpl implements RPCServer { if (sink.finish()) { // Client disconnected. Then we are not allowed to call any methods on the observer. + log.info(String.format("Client disconnected before we could send exit code for command %s", + commandId)); return; } |