diff options
author | 最萌小汐 <sumneko@hotmail.com> | 2019-09-24 20:32:31 +0800 |
---|---|---|
committer | 最萌小汐 <sumneko@hotmail.com> | 2019-09-24 20:32:31 +0800 |
commit | 5c8022df4adaaf813812845f97d9cb9d7c6d4fcc (patch) | |
tree | 3fa5ffe338f0c8f360bc5e96d51bd7d2e097beeb | |
parent | baef351c6398b8723bdeb96dde1cf0ef2ff5de86 (diff) | |
download | lua-language-server-5c8022df4adaaf813812845f97d9cb9d7c6d4fcc.zip |
加个预编译完成的报告
-rw-r--r-- | server-beta/src/workspace/workspace.lua | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/server-beta/src/workspace/workspace.lua b/server-beta/src/workspace/workspace.lua index f320cef6..b22bcfb8 100644 --- a/server-beta/src/workspace/workspace.lua +++ b/server-beta/src/workspace/workspace.lua @@ -116,6 +116,20 @@ function m.preload() end) end) + while true do + local count = 0 + for _, file in pairs(files.fileMap) do + if file.compiling then + task.sleep(0.1) + goto CONTINUE + end + count = count + 1 + end + log.info(('Preloaded %d files.'):format(count)) + break + ::CONTINUE:: + end + log.info('Preload finish.') end |