diff options
| author | sumneko <sumneko@hotmail.com> | 2022-01-23 01:27:10 +0800 |
|---|---|---|
| committer | sumneko <sumneko@hotmail.com> | 2022-01-23 01:27:10 +0800 |
| commit | 2ee33dade7af1129ec792e69c51c993d853da54a (patch) | |
| tree | 3bfe589b03a0db4e9c6e28e8b45527555736b7ea /script/provider | |
| parent | 37d33caad5eca02ffa3ac0608ccfe13468bdd22e (diff) | |
| download | lua-language-server-2ee33dade7af1129ec792e69c51c993d853da54a.zip | |
fix diagnostics
Diffstat (limited to 'script/provider')
| -rw-r--r-- | script/provider/diagnostic.lua | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/script/provider/diagnostic.lua b/script/provider/diagnostic.lua index 0a3c4384..94e69838 100644 --- a/script/provider/diagnostic.lua +++ b/script/provider/diagnostic.lua @@ -288,7 +288,7 @@ function m.refresh(uri) xpcall(m.doDiagnostic, log.error, uri) end m.diagnosticsScope(uri) - end, 'files.version') + end) end ---@async @@ -351,9 +351,14 @@ function m.diagnosticsScope(uri, force) if not force and delay < 0 then return end - await.close ('diagnosticsScope:' .. (uri or '<fallback>')) + local scp = ws.getScope(uri) + local id = 'diagnosticsScope:' .. scp:getName() + await.close(id) await.call(function () ---@async await.sleep(math.max(delay, 0.1)) + while loading.count() > 0 do + await.sleep(1.0) + end local clock = os.clock() local bar <close> = progress.create(ws.getScope(uri), lang.script.WORKSPACE_DIAGNOSTIC, 1) local cancelled @@ -365,9 +370,8 @@ function m.diagnosticsScope(uri, force) askForDisable(uri) end) end) - local scp = ws.getScope(uri) local uris = files.getAllUris(scp) - log.info(('diagnostics scope [%s], files count:[%d]'):format(scp, #uris)) + log.info(('diagnostics scope [%s], files count:[%d]'):format(scp:getName(), #uris)) for i, uri in ipairs(uris) do while loading.count() > 0 do await.sleep(1.0) @@ -383,7 +387,7 @@ function m.diagnosticsScope(uri, force) end bar:remove() log.debug('全文诊断耗时：', os.clock() - clock) - end, 'files.version', ('diagnosticsScope:' .. (uri or '<fallback>'))) + end, id) end ws.watch(function (ev, uri) @@ -397,9 +401,7 @@ files.watch(function (ev, uri) ---@async m.clear(uri) m.refresh(uri) elseif ev == 'update' then - if ws.isReady(uri) then - m.refresh(uri) - end + m.refresh(uri) elseif ev == 'open' then if ws.isReady(uri) then xpcall(m.doDiagnostic, log.error, uri) |