diff options
author | 最萌小汐 <sumneko@hotmail.com> | 2024-05-10 16:12:44 +0800 |
---|---|---|
committer | 最萌小汐 <sumneko@hotmail.com> | 2024-05-10 16:12:44 +0800 |
commit | dc8f3536f05882e1c74021f071d4ed4340686b4d (patch) | |
tree | ce1e20fa4c7b38e96d94e432eccbab077eec2057 /script/global.d.lua | |
parent | 80743173ea6dc26bbf8c7d0a58d280da71ea605c (diff) | |
download | lua-language-server-dc8f3536f05882e1c74021f071d4ed4340686b4d.zip |
添加一些参数定义
Diffstat (limited to 'script/global.d.lua')
-rw-r--r-- | script/global.d.lua | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/script/global.d.lua b/script/global.d.lua index ead46ca9..daac5f6c 100644 --- a/script/global.d.lua +++ b/script/global.d.lua @@ -98,3 +98,11 @@ FORCE_ACCEPT_WORKSPACE = false -- Trust all plugins that are being loaded by workspace config files. -- This is potentially unsafe for normal use and meant for usage in CI environments only. TRUST_ALL_PLUGINS = false + +NUM_THREADS = 1 + +THREAD_ID = 1 + +CHECK_WORKER = '' + +QUIET = false |