summaryrefslogtreecommitdiff
path: root/script
diff options
context:
space:
mode:
author最萌小汐 <sumneko@hotmail.com>2020-11-23 20:02:10 +0800
committer最萌小汐 <sumneko@hotmail.com>2020-11-23 20:02:10 +0800
commitbd0ae14501722da6bb2ea355916583429683b31d (patch)
tree49647c808e62c293cf38800fb045d12d67439269 /script
parentaca59aa323084ce7b1add1a6771ff0744f5834d4 (diff)
downloadlua-language-server-bd0ae14501722da6bb2ea355916583429683b31d.zip
reload workspace should flush cache of all files
Diffstat (limited to 'script')
-rw-r--r--script/workspace/workspace.lua1
1 files changed, 1 insertions, 0 deletions
diff --git a/script/workspace/workspace.lua b/script/workspace/workspace.lua
index f96d88eb..ab7cf6c5 100644
--- a/script/workspace/workspace.lua
+++ b/script/workspace/workspace.lua
@@ -320,6 +320,7 @@ end
function m.reload()
files.flushAllLibrary()
files.removeAllClosed()
+ files.flushCache()
rpath.flush()
await.call(m.awaitPreload)
end