diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2022-07-06 15:17:23 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2022-07-06 15:17:23 +0800 |
| commit | 997109ebfd4e9ec2bd2b22cc8c35fd1e7cdf0b91 (patch) | |
| tree | 087232d92bd2cfde5178420c5efff70823cfca31 /script/provider/diagnostic.lua | |
| parent | eeb24f394050578dd575e6c9035230c0d51b2672 (diff) | |
| download | lua-language-server-997109ebfd4e9ec2bd2b22cc8c35fd1e7cdf0b91.zip | |
improve diag
Diffstat (limited to 'script/provider/diagnostic.lua')
| -rw-r--r-- | script/provider/diagnostic.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/provider/diagnostic.lua b/script/provider/diagnostic.lua index 58940d2e..762b8d50 100644 --- a/script/provider/diagnostic.lua +++ b/script/provider/diagnostic.lua @@ -308,7 +308,7 @@ function m.doDiagnostic(uri, isScopeDiag) xpcall(core, log.error, uri, isScopeDiag, function (result) diags[#diags+1] = buildDiagnostic(uri, result) - if not isScopeDiag and time.time() - lastPushClock >= 1000 then + if not isScopeDiag and time.time() - lastPushClock >= 500 then lastPushClock = time.time() pushResult() end |