diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2021-07-08 15:05:12 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2021-07-08 15:05:12 +0800 |
| commit | 886f4c8dfe56ad914daedc513a3ee03bcb305e16 (patch) | |
| tree | e0b7f9a3d2780904fe857e6a430914e82eb63fdd /script/workspace/workspace.lua | |
| parent | 42f8519bb66c69230f105a1135b33259ca653f7e (diff) | |
| download | lua-language-server-886f4c8dfe56ad914daedc513a3ee03bcb305e16.zip | |
update
Diffstat (limited to 'script/workspace/workspace.lua')
| -rw-r--r-- | script/workspace/workspace.lua | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/script/workspace/workspace.lua b/script/workspace/workspace.lua index 9a17d2bf..92404c79 100644 --- a/script/workspace/workspace.lua +++ b/script/workspace/workspace.lua @@ -507,6 +507,9 @@ function m.flushCache() end function m.reload() + if not m.inited then + return + end if TEST then return end @@ -514,6 +517,10 @@ function m.reload() end function m.init() + if m.inited then + return + end + m.inited = true m.reload() end |