tree a961b83f4159a9516697b94468cae4333290c56f
parent 6da3d7ace9da93514c50281436bcf0fb66d50f18
author Rob Findley <rfindley@google.com> 1621352136 -0400
committer Robert Findley <rfindley@google.com> 1621362113 +0000

internal/jsonrpc2_v2: consider ErrClosedPipe as a closing error

There was already handling in isClosingErr for errors from Stdin/Stdout
and TCP connections. Add handling for io.Pipe closing errors.

Change-Id: I8d171ab49a3fffe0fca9f0482f6b92d61b1fae1f
Reviewed-on: https://go-review.googlesource.com/c/tools/+/320849
Trust: Robert Findley <rfindley@google.com>
Run-TryBot: Robert Findley <rfindley@google.com>
gopls-CI: kokoro <noreply+kokoro@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Ian Cottrell <iancottrell@google.com>