This PR fixes the problems in which diagnostics do not disappear when context is canceled for workspace level linters.
When the context of lint is canceled because of new lintRequest, the existing implementation can update the h. lastPublishedURIs but sometimes does not publish necessary empty diagnostics.
This fix updates h. lastPublishedURIs after the cancellable block is completed.
This PR fixes the problems in which diagnostics do not disappear when context is canceled for workspace level linters.
When the context of
lint
is canceled because of newlintRequest
, the existing implementation can update theh. lastPublishedURIs
but sometimes does not publish necessary empty diagnostics.This fix updates
h. lastPublishedURIs
after the cancellable block is completed.This fix is tested with https://github.com/mattn/efm-langserver/commit/a9dc902e363d8383e935c9e869839c89c5fc3d47, but the test is not committed as it uses
time.Sleep
. If the test should be committed, please tell me :bow:Sorry for my buggy implementation of #193