tree b758f28ac21ab25443fc125103439f5d7922dc31
parent 45540aa143c2f77fac9e89afb6d185afb4f2578d
author Rebecca Stambler <rstambler@golang.org> 1592424382 -0400
committer Rebecca Stambler <rstambler@golang.org> 1592522941 +0000

goLanguageServer: restart the language server 5x when it crashes

A little cleanup, and a fix for the "Never" button.
I also added handling for alternateTools for gopls, since I noticed
that it wouldn't pick up the change in setting.

I really wanted to add tests for this behavior, but constructing a
version of gopls that worked enough to initialize but then crashed
seemed to be more effort than this test is worth. Also, the timing of
waiting for the crash was just too complicated.

Change-Id: Idfb7192e875dcddc3efe55011cd1b59be57b337b
Reviewed-on: https://go-review.googlesource.com/c/vscode-go/+/238657
Reviewed-by: Hyang-Ah Hana Kim <hyangah@gmail.com>