language-servers/language-server-protocol
1
0
Fork 0
mirror of https://github.com/microsoft/language-server-protocol.git synced 2025-12-23 08:48:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fixes #904: Progress reporting during initialization

Browse source
This commit is contained in:
Dirk Baeumer 2020-01-28 17:01:34 +01:00
parent a8f763b45c
commit ef7ff2cb0f
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
_specifications/specification-3-15.md
View file

@ -1322,7 +1322,7 @@ The initialize request is sent as the first request from the client to the serve
* For a request the response should be an error with `code: -32002`. The message can be picked by the server.
* Notifications should be dropped, except for the exit notification. This will allow the exit of a server without an initialize request.
Until the server has responded to the `initialize` request with an `InitializeResult`, the client must not send any additional requests or notifications to the server. In addition the server is not allowed to send any requests or notifications to the client until it has responded with an `InitializeResult`, with the exception that during the `initialize` request the server is allowed to send the notifications `window/showMessage`, `window/logMessage` and `telemetry/event` as well as the `window/showMessageRequest` request to the client.
Until the server has responded to the `initialize` request with an `InitializeResult`, the client must not send any additional requests or notifications to the server. In addition the server is not allowed to send any requests or notifications to the client until it has responded with an `InitializeResult`, with the exception that during the `initialize` request the server is allowed to send the notifications `window/showMessage`, `window/logMessage` and `telemetry/event` as well as the `window/showMessageRequest` request to the client. In case the client sets up a progress token in the initialize params (e.g. property `workDoneToken`) the server is also allowed to used that token (and only that token) using the `$/progress` notification sent from the server to the client.
The `initialize` request may only be sent once.
@ -1331,7 +1331,7 @@ _Request_:
* params: `InitializeParams` defined as follows:
```typescript
interface InitializeParams {
interface InitializeParams extends WorkDoneProgressParams {
/**
* The process Id of the parent process that started
* the server. Is null if the process has not been started by another process.