diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-03 11:27:31 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-02-03 11:27:31 +0000 |
| commit | d400fde66c7139aad04e5c5c9875a1d41ef5eae8 (patch) | |
| tree | f86b6711bc6fb006d99b0be09bf17f0a9a79b3ec /editors | |
| parent | 5b1b2cac39d88e730d594f951ab6613eab5ee498 (diff) | |
| parent | 9f70f443a35bc12caf37e2548abf7987926c3875 (diff) | |
Merge #2959
2959: Rework how we send diagnostics to client r=matklad a=kiljacken
The previous way of sending from the thread pool suffered from stale diagnostics due to being canceled before we could clear the old ones.
The key change is moving to sending diagnostics from the main loop thread, but doing all the hard work in the thread pool. This should provide the best of both worlds, with little to no of the downsides.
This should hopefully fix a lot of issues, but we'll need testing in each individual issue to be sure.
Co-authored-by: Emil Lauridsen <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions