diff options
author | Andreas <andreas.matthias@gmail.com> | 2024-02-24 20:41:20 +0100 |
---|---|---|
committer | Andreas <andreas.matthias@gmail.com> | 2024-02-24 20:41:20 +0100 |
commit | 96a11fb83ccbd388fd420403969f0a575238c6a2 (patch) | |
tree | 4d589d6ee1862db213a7520697b63a1833e18fdf /script | |
parent | c8476de85e1abb8686f4b977240cdb54d1414886 (diff) | |
parent | 21d20b1522d2e76cb511b016d90dbd89d2acdcbc (diff) | |
download | lua-language-server-96a11fb83ccbd388fd420403969f0a575238c6a2.zip |
Merge branch 'master' into doc-update
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 |