diff options
| author | CppCXY <812125110@qq.com> | 2022-08-11 19:36:36 +0800 |
|---|---|---|
| committer | CppCXY <812125110@qq.com> | 2022-08-11 19:36:36 +0800 |
| commit | ff9103ae4001d8e520171b99cd192997fc689bc9 (patch) | |
| tree | 04c0b685e81aac48210604dc12d24b91862a36d9 /tools/lua51.lua | |
| parent | 40f191a85ea21bb64c427f9dab4bc597e2a0ea1b (diff) | |
| parent | 82bcfef9037c26681993c94b2f92b68d335de3c6 (diff) | |
| download | lua-language-server-ff9103ae4001d8e520171b99cd192997fc689bc9.zip | |
Merge branch 'master' of github.com:CppCXY/lua-language-server
Diffstat (limited to 'tools/lua51.lua')
| -rw-r--r-- | tools/lua51.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/lua51.lua b/tools/lua51.lua index fb13d294..20e3335d 100644 --- a/tools/lua51.lua +++ b/tools/lua51.lua @@ -374,7 +374,7 @@ lua51.os.difftime = os.difftime lua51.os.execute = os.execute function lua51.os.exit(code) code = tonumber(code) or 0 - osExit(code) + osExit(code--[[@as integer]]) end lua51.os.getenv = os.getenv lua51.os.remove = os.remove |