Clarify semantic of `processId` property of the initialize request.
This commit is contained in:
Anton Kosyakov 2016-10-09 12:04:33 +02:00 committed by akosyakov
parent 302efc0ff0
commit 79e553fd4d

View file

@ -435,15 +435,18 @@ _Request_
interface InitializeParams {
/**
* The process Id of the parent process that started
* the server.
* the server. Is null if the process has not been started by another process.
* If the parent process is not alive then the server should exit its process
* with `success` code 0 if the shutdown request has been received before;
* otherwise with `error` code 1.
*/
processId: number;
processId?: number;
/**
* The rootPath of the workspace. Is null
* if no folder is open.
*/
rootPath: string;
rootPath?: string;
/**
* User provided initialization options.