Skip to content

Make indexing more evented #239

@felixfbecker

Description

@felixfbecker

Currently initialize blocks sending a response until indexing finished.
It should return instantly and kick off indexing in the background.
Requests that return a single result like hover or j2d should return a result if it is available, otherwise subscribe to new additions to the index and retry. It should also subscribe to indexing being finished, and then return an empty result.
Other methods that return multiple results like references or symbols should defer their response until indexing finished. In the future they might stream their result.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions