diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2020-11-23 12:51:10 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2020-11-23 12:51:10 +0800 |
| commit | ad192cc99096f717b1a59f8f8bc7b0dac0230a4e (patch) | |
| tree | da34e9659a38595896ed1e72551130beaba2dfd9 /script | |
| parent | bcee498fa7cf6410f4cc32d23e5bd39fa09b376b (diff) | |
| download | lua-language-server-ad192cc99096f717b1a59f8f8bc7b0dac0230a4e.zip | |
#260 try fix diagnostic in Linux
Diffstat (limited to 'script')
| -rw-r--r-- | script/provider/diagnostic.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/script/provider/diagnostic.lua b/script/provider/diagnostic.lua index 845b9f44..75507f72 100644 --- a/script/provider/diagnostic.lua +++ b/script/provider/diagnostic.lua @@ -108,7 +108,7 @@ local function merge(a, b) end function m.clear(uri) - local luri = uri:lower() + local luri = files.asKey(uri) if not m.cache[luri] then return end @@ -158,7 +158,7 @@ function m.doDiagnostic(uri) if not config.config.diagnostics.enable then return end - uri = uri:lower() + uri = files.asKey(uri) if files.isLibrary(uri) then return end |