Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Capture initialized notification #754

Closed
wants to merge 1 commit into from
Closed
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 10 additions & 0 deletions src/LanguageServer.php
Original file line number Diff line number Diff line change
Expand Up @@ -292,6 +292,16 @@ public function initialize(ClientCapabilities $capabilities, string $rootPath =
});
}

/**
* The initialized notification is sent from the client to the server after the client received the result of
* the initialize request but before the client is sending any other request or notification to the server.
* The server can use the initialized notification for example to dynamically register capabilities.
* The initialized notification may only be sent once.
*/
public function initialized() {
// Do nothing
}

/**
* The shutdown request is sent from the client to the server. It asks the server to shut down, but to not exit
* (otherwise the response might not be delivered correctly to the client). There is a separate exit notification that
Expand Down