diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2021-01-13 15:33:57 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2021-01-13 15:33:57 +0800 |
| commit | c7a0b295570e78a43f0819d9e0ba9a4c076b7e1a (patch) | |
| tree | 09df22bee47c4c3fd52bd1ccf86ea3f43bb10d17 | |
| parent | 15a7b101e2556a60288bb8f9066caf132c8cce13 (diff) | |
| download | lua-language-server-c7a0b295570e78a43f0819d9e0ba9a4c076b7e1a.zip | |
pause diagnostic before preload
| -rw-r--r-- | script/provider/diagnostic.lua | 5 | ||||
| -rw-r--r-- | script/workspace/workspace.lua | 3 |
2 files changed, 7 insertions, 1 deletions
diff --git a/script/provider/diagnostic.lua b/script/provider/diagnostic.lua index 1d8b779d..acea679a 100644 --- a/script/provider/diagnostic.lua +++ b/script/provider/diagnostic.lua @@ -268,6 +268,11 @@ function m.start() m.diagnosticsAll() end +function m.pause() + m._start = false + await.close 'diagnosticsAll' +end + function m.checkStepResult() if await.hasID 'diagnosticsAll' then return diff --git a/script/workspace/workspace.lua b/script/workspace/workspace.lua index 0f2b3f09..ca490886 100644 --- a/script/workspace/workspace.lua +++ b/script/workspace/workspace.lua @@ -255,8 +255,10 @@ end --- 预读工作区内所有文件 function m.awaitPreload() + local diagnostic = require 'provider.diagnostic' await.close 'preload' await.setID 'preload' + diagnostic.pause() m.libraryMatchers = nil m.nativeMatcher = nil m.cache = {} @@ -292,7 +294,6 @@ function m.awaitPreload() log.info('Preload finish.') - local diagnostic = require 'provider.diagnostic' diagnostic.start() end |