diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2020-09-19 10:24:08 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2020-09-19 10:24:08 +0800 |
| commit | 1701ce339e5a9b3b97e8579f470cfa4c37631ab4 (patch) | |
| tree | 875a9c9b7693b2b9588cd130739d01c178c2e77d /script-beta | |
| parent | 6254519cc988d0f5a1f507979de8f2ab09a0537f (diff) | |
| download | lua-language-server-1701ce339e5a9b3b97e8579f470cfa4c37631ab4.zip | |
确保文件读完后才会进行全局诊断
Diffstat (limited to 'script-beta')
| -rw-r--r-- | script-beta/provider/diagnostic.lua | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/script-beta/provider/diagnostic.lua b/script-beta/provider/diagnostic.lua index 1a6537f8..48d0409d 100644 --- a/script-beta/provider/diagnostic.lua +++ b/script-beta/provider/diagnostic.lua @@ -188,6 +188,9 @@ function m.refresh(uri) end function m.diagnosticsAll() + if not m._start then + return + end await.close 'diagnosticsAll' await.call(function () local clock = os.clock() |