Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
json-extension: use an unique token for progress example
The spec [1] and pygls implementation [2] needs the token to be unique. By using an hardcoded token like this, the progress works only one time, the second time there's an error that token is already registered. 1: https://microsoft.github.io/language-server-protocol/specifications/specification-current/#serverInitiatedProgress 2: https://github.com/openlawlibrary/pygls//blob/ee17487e4f40f971e7ec6f7711fa8334c5b7b127/pygls/progress.py#L28
- Loading branch information