diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2022-07-15 15:34:16 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2022-07-15 15:34:16 +0800 |
| commit | 59b2b8eb9d0eadd5de1eabf366d8b99b63660719 (patch) | |
| tree | 6d5d17b149d09d44914118d0ceb13c45d1f3932e /script/workspace | |
| parent | 2e49b39433ecd5511c38b243d7589789eb334a36 (diff) | |
| download | lua-language-server-59b2b8eb9d0eadd5de1eabf366d8b99b63660719.zip | |
restart gc after flush files
Diffstat (limited to 'script/workspace')
| -rw-r--r-- | script/workspace/workspace.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/script/workspace/workspace.lua b/script/workspace/workspace.lua index 3007b468..b719c3e5 100644 --- a/script/workspace/workspace.lua +++ b/script/workspace/workspace.lua @@ -464,6 +464,8 @@ function m.flushFiles(scp) end collectgarbage() collectgarbage() + -- TODO: wait maillist + collectgarbage 'restart' end ---@param scp scope |