diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2021-03-03 10:05:40 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2021-03-03 10:05:40 +0800 |
| commit | 76f1b37e613dce5305777ceba7890b8da0a9175c (patch) | |
| tree | 3a1c2caa47a93f7eaf99270132ed9461e1932b71 /script/files.lua | |
| parent | 679689b5c5a167794cf10a74b9de2d9c37e30d65 (diff) | |
| download | lua-language-server-76f1b37e613dce5305777ceba7890b8da0a9175c.zip | |
revert interruption during compilation
Diffstat (limited to 'script/files.lua')
| -rw-r--r-- | script/files.lua | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/script/files.lua b/script/files.lua index 8e323a92..3a1a3872 100644 --- a/script/files.lua +++ b/script/files.lua @@ -182,7 +182,6 @@ function m.setText(uri, text, isTrust) file.version = file.version + 1 m.globalVersion = m.globalVersion + 1 await.close('files.version') - await.close('compile:' .. uri) if create then m.onWatch('create', originUri) end @@ -347,7 +346,6 @@ function m.eachDll() end function m.compileAst(uri, text) - await.setID('compile:' .. uri) local ws = require 'workspace' if not m.isOpen(uri) and #text >= config.config.workspace.preloadFileSize * 1000 then if not m.notifyCache['preloadFileSize'] then |