diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2024-02-24 21:24:20 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-24 21:24:20 +0800 |
| commit | 825a7953bce4513010e04ee8a2f03b87c2a2ba10 (patch) | |
| tree | 018ae8fedfe0ebd1f8746eac682b782a6d790899 | |
| parent | 3e6fd3ce1f2f0528336ded939d776a29bbfaf2eb (diff) | |
| parent | 2a41f79e36985fc93d2c0ea66c162ba1e9024f48 (diff) | |
| download | lua-language-server-825a7953bce4513010e04ee8a2f03b87c2a2ba10.zip | |
Merge pull request #2536 from danpf/danpf-diagnostics-with-plugins
Enable plugins during --check
| -rw-r--r-- | script/cli/check.lua | 1 | ||||
| -rw-r--r-- | script/plugin.lua | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/script/cli/check.lua b/script/cli/check.lua index 4295fa06..146035b6 100644 --- a/script/cli/check.lua +++ b/script/cli/check.lua @@ -11,6 +11,7 @@ local config = require 'config.config' local fs = require 'bee.filesystem' local provider = require 'provider' +require 'plugin' require 'vm' lang(LOCALE) diff --git a/script/plugin.lua b/script/plugin.lua index b297cd9b..b77511ff 100644 --- a/script/plugin.lua +++ b/script/plugin.lua @@ -146,6 +146,7 @@ local function initPlugin(uri) return end local args = config.get(scp.uri, 'Lua.runtime.pluginArgs') + if args == nil then args = {} end if type(pluginConfigPaths) == 'string' then pluginConfigPaths = { pluginConfigPaths } end |