diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2021-01-30 17:41:44 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2021-01-30 17:41:44 +0800 |
| commit | a0c905ba6de413df0fc754d638db6431a203b330 (patch) | |
| tree | ab3be6f9d92b33c9e2ce507f4652580ea6bd986e /script/workspace | |
| parent | 3a21b34bb31c8988bff6b636bdbf506db373d564 (diff) | |
| download | lua-language-server-a0c905ba6de413df0fc754d638db6431a203b330.zip | |
flush cache after 5 min
Diffstat (limited to 'script/workspace')
| -rw-r--r-- | script/workspace/workspace.lua | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/script/workspace/workspace.lua b/script/workspace/workspace.lua index d0676b30..edde3ab9 100644 --- a/script/workspace/workspace.lua +++ b/script/workspace/workspace.lua @@ -423,6 +423,10 @@ function m.getCache(name) return m.cache[name] end +function m.flushCache() + m.cache = {} +end + function m.reload() await.call(m.awaitReload) end |