diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2020-11-23 20:02:10 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2020-11-23 20:02:10 +0800 |
| commit | bd0ae14501722da6bb2ea355916583429683b31d (patch) | |
| tree | 49647c808e62c293cf38800fb045d12d67439269 /script | |
| parent | aca59aa323084ce7b1add1a6771ff0744f5834d4 (diff) | |
| download | lua-language-server-bd0ae14501722da6bb2ea355916583429683b31d.zip | |
reload workspace should flush cache of all files
Diffstat (limited to 'script')
| -rw-r--r-- | script/workspace/workspace.lua | 1 |
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 |