tree 09a5ad8cd41b1ca27cc84b5e56d99fd292f94500
parent 73b12cab2531d716d7df68317338773313a49bac
author Rob Findley <rfindley@google.com> 1596770961 -0400
committer Robert Findley <rfindley@google.com> 1597072512 +0000

internal/lsp: use the token supplied by the client for progress

Our WorkDone reporting was generating a random token for each unit of
work, even if a token was supplied by the client.  Change this to use
the client token if it is non-empty, and skip the
workDoneProgress/create request.

After this change we can no longer rely on tokens being a string.
Update our progress tracking accordingly.

For golang/go#40527

Change-Id: I702f739c466efb613b69303aaf07005addd3b5e2
Reviewed-on: https://go-review.googlesource.com/c/tools/+/247321
Run-TryBot: Robert Findley <rfindley@google.com>
TryBot-Result: Gobot Gobot <gobot@golang.org>
Reviewed-by: Rebecca Stambler <rstambler@golang.org>