diff options
| author | Danny Farrell <16297104+danpf@users.noreply.github.com> | 2024-02-23 22:57:04 -0500 |
|---|---|---|
| committer | Danny Farrell <16297104+danpf@users.noreply.github.com> | 2024-02-23 22:57:04 -0500 |
| commit | 2a41f79e36985fc93d2c0ea66c162ba1e9024f48 (patch) | |
| tree | 018ae8fedfe0ebd1f8746eac682b782a6d790899 /script | |
| parent | 3e6fd3ce1f2f0528336ded939d776a29bbfaf2eb (diff) | |
| download | lua-language-server-2a41f79e36985fc93d2c0ea66c162ba1e9024f48.zip | |
Enable plugins during --check
Diffstat (limited to 'script')
| -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 |