tree 05c9f1ed489e3cce17f004321098a81b92f9eb71
parent ef971f37877a5b520c1f4e814024d88e491dabf9
author Danny Tuppeny <dantup@google.com> 1557759791 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1557759791 +0000

Change error code for server shutting down

See https://github.com/Microsoft/language-server-protocol/issues/684#issuecomment-477215334.

Change-Id: I9e45dd27ea914af8bc3b936e9885c113211c50ce
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/102361
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Commit-Queue: Danny Tuppeny <dantup@google.com>