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 /script/provider | |
| parent | 15a7b101e2556a60288bb8f9066caf132c8cce13 (diff) | |
| download | lua-language-server-c7a0b295570e78a43f0819d9e0ba9a4c076b7e1a.zip | |
pause diagnostic before preload
Diffstat (limited to 'script/provider')
| -rw-r--r-- | script/provider/diagnostic.lua | 5 |
1 files changed, 5 insertions, 0 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 |