diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2022-11-16 15:17:23 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2022-11-16 15:17:23 +0800 |
| commit | 1d7931741eb7b91178f2ab94135f5cdc2c66c497 (patch) | |
| tree | 8d22e26cdefee8d922bb5d5290485b20a21c6294 /script/provider/provider.lua | |
| parent | 1fbe3c121cb38eebfa2a3c17117c34ac30bfbd8c (diff) | |
| download | lua-language-server-1d7931741eb7b91178f2ab94135f5cdc2c66c497.zip | |
fix clearing diags with multi-workspace
Diffstat (limited to 'script/provider/provider.lua')
| -rw-r--r-- | script/provider/provider.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/provider/provider.lua b/script/provider/provider.lua index ecfaeb62..ce762d1d 100644 --- a/script/provider/provider.lua +++ b/script/provider/provider.lua @@ -1167,7 +1167,7 @@ m.register '$/status/click' { end elseif result == 'Restart Server' then local diag = require 'provider.diagnostic' - diag.clearAll(true) + diag.clearAll(nil, true) os.exit(0, true) elseif result == 'Clear Node Cache' then local vm = require 'vm' |