From 40f1c261e52898d3c9d187bde02033f6071a187d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=9C=80=E8=90=8C=E5=B0=8F=E6=B1=90?= Date: Thu, 14 Jul 2022 19:18:03 +0800 Subject: collectgarbage after reload workspace --- script/workspace/workspace.lua | 2 ++ 1 file changed, 2 insertions(+) diff --git a/script/workspace/workspace.lua b/script/workspace/workspace.lua index 6a6c59c7..3007b468 100644 --- a/script/workspace/workspace.lua +++ b/script/workspace/workspace.lua @@ -462,6 +462,8 @@ function m.flushFiles(scp) for uri in pairs(cachedUris) do files.delRef(uri) end + collectgarbage() + collectgarbage() end ---@param scp scope -- cgit v1.2.3