diff options
author | 最萌小汐 <sumneko@hotmail.com> | 2019-11-08 14:59:03 +0800 |
---|---|---|
committer | 最萌小汐 <sumneko@hotmail.com> | 2019-11-08 14:59:03 +0800 |
commit | 6b222a0a14135e6f39eb9e80f3c2bf879811ca2c (patch) | |
tree | b9db4a53303fec89dbceab74b0f257f959fe7f5c /server-beta/src/provider | |
parent | d8c8c6ded148a8e130956b08010db3a0cda8585a (diff) | |
download | lua-language-server-6b222a0a14135e6f39eb9e80f3c2bf879811ca2c.zip |
协作模式改为队列
Diffstat (limited to 'server-beta/src/provider')
-rw-r--r-- | server-beta/src/provider/diagnostic.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server-beta/src/provider/diagnostic.lua b/server-beta/src/provider/diagnostic.lua index 2b4ae9b3..d7d4be1e 100644 --- a/server-beta/src/provider/diagnostic.lua +++ b/server-beta/src/provider/diagnostic.lua @@ -173,7 +173,7 @@ function m.refresh(uri) for destUri in files.eachFile() do if destUri ~= uri then m.doDiagnostic(files.getOriginUri(destUri)) - await.sleep(0.001) + await.delay() if myVersion ~= m.version then return end |