diff options
| author |  Lukacs Berki <lberki@google.com> | 2016-03-31 08:11:14 +0000 |
|---|---|---|
| committer | Lukacs Berki <lberki@google.com> | 2016-03-31 11:44:44 +0000 |
| commit | bbb4291baf188c941965ecd894463b6ff043fe92 (patch) | |
| tree | 0c8d535ce2c2a9080c6b293d67085a97a83735a0 /src/main | |
| parent | 14ab5677cdb32debd2992411a396798b678d445c (diff) | |
Update the check for a broken stream in the RPC server.
This check is awful and should be done somewhat differently, but since we are migrating to gRPC, there isn't much point in investing much in this.
--
MOS_MIGRATED_REVID=118656266
Diffstat (limited to 'src/main')
| -rw-r--r-- | src/main/java/com/google/devtools/build/lib/server/RPCServer.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/server/RPCServer.java b/src/main/java/com/google/devtools/build/lib/server/RPCServer.java index 206030b45d..f695a0ecb4 100644 --- a/src/main/java/com/google/devtools/build/lib/server/RPCServer.java +++ b/src/main/java/com/google/devtools/build/lib/server/RPCServer.java @@ -249,7 +249,7 @@ public final class RPCServer { } } } catch (IOException e) { - if (e.getMessage().equals("Broken pipe")) { + if (e.getMessage().equals("reached end of stream")) { LOG.info("Connection to the client lost: " + e.getMessage()); } else { |