diff options
| author | Folke Lemaitre <folke.lemaitre@gmail.com> | 2024-06-04 18:54:16 +0200 |
|---|---|---|
| committer | Folke Lemaitre <folke.lemaitre@gmail.com> | 2024-06-04 18:59:02 +0200 |
| commit | 87581bec1983083426e9fa7e5b157be969edf40d (patch) | |
| tree | 843fb532d1f999266992f34b66fffc60c583f4a3 /script | |
| parent | e2ca72dd54da1cafda36ff9e1266526fec54081f (diff) | |
| download | lua-language-server-87581bec1983083426e9fa7e5b157be969edf40d.zip | |
don't do diagnostics when workspace is not ready
Diffstat (limited to 'script')
| -rw-r--r-- | script/provider/diagnostic.lua | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/script/provider/diagnostic.lua b/script/provider/diagnostic.lua index 37c88bb6..c52c7e89 100644 --- a/script/provider/diagnostic.lua +++ b/script/provider/diagnostic.lua @@ -246,6 +246,9 @@ local function isValid(uri) if not config.get(uri, 'Lua.diagnostics.enable') then return false end + if not ws.isReady(uri) then + return false + end if files.isLibrary(uri, true) then local status = config.get(uri, 'Lua.diagnostics.libraryFiles') if status == 'Disable' then |