diff options
| author | alwo <albrecht.woess@signum.plus> | 2023-05-11 14:26:07 +0200 |
|---|---|---|
| committer | alwo <albrecht.woess@signum.plus> | 2023-05-11 14:26:07 +0200 |
| commit | d00d9082dfdd49088a6776282471ced6d5d2361e (patch) | |
| tree | 07c8b91a0657e6e39d68778f230abbf3d2c4a489 /script/global.d.lua | |
| parent | daded8d8426c6268c2b781a0f234edf581106e2b (diff) | |
| parent | b422860aedb390744a566063991d57ccc829deb2 (diff) | |
| download | lua-language-server-d00d9082dfdd49088a6776282471ced6d5d2361e.zip | |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'script/global.d.lua')
| -rw-r--r-- | script/global.d.lua | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/script/global.d.lua b/script/global.d.lua index c120c153..f84ff0e4 100644 --- a/script/global.d.lua +++ b/script/global.d.lua @@ -73,3 +73,7 @@ COMPILECORES = 0 -- TODO: delete this after new config ---@diagnostic disable-next-line: lowercase-global jit = false + +-- connect to client by socket +---@type integer +SOCKET = 0 |