Skip to content

Handle cancellation requests in LSP #75

@MichaReiser

Description

@MichaReiser

The LSP supports cancellation requests to "cancel" requested information that the client no longer needs, e.g. because the document was closed or changed since the request was sent.

We should add support for cancellation requests. One way of implementing this is to keep a map of pending-requests (keyed by request id) and skipping requests if their id isn't in the map. Cancelling a request is than as simple as removing the id from said map (which we also need to do when completing requests).

Metadata

Metadata

Assignees

No one assigned

    Labels

    serverRelated to the LSP server

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions