diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2019-12-10 17:40:28 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2019-12-10 17:40:28 +0800 |
| commit | 79c87da843cb747db1886e706aa0c22e85e1c46d (patch) | |
| tree | 681c10da07441222a8c736015e0bc18dbbe3d4e6 /script-beta/provider | |
| parent | 3032729867c8975d433adc5de11cdc905d9fc2eb (diff) | |
| download | lua-language-server-79c87da843cb747db1886e706aa0c22e85e1c46d.zip | |
追踪一下高耗时的单步
Diffstat (limited to 'script-beta/provider')
| -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 ba95f2bf..eac0472c 100644 --- a/script-beta/provider/diagnostic.lua +++ b/script-beta/provider/diagnostic.lua @@ -184,6 +184,9 @@ function m.refresh(uri) if not m._start then return end + await.delay(function () + return files.globalVersion + end) local clock = os.clock() if uri then m.doDiagnostic(uri) |