diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2021-01-26 14:53:00 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2021-01-26 14:53:00 +0800 |
| commit | 3a14ad38c15c21e61f15330ca8f8c0d76a10459c (patch) | |
| tree | 32201843dea1ec348135dbc37c7dbfa3f92a1d25 /script/workspace | |
| parent | 64022d030508555890daba49502c23ea077fc2c3 (diff) | |
| download | lua-language-server-3a14ad38c15c21e61f15330ca8f8c0d76a10459c.zip | |
clean up code
Diffstat (limited to 'script/workspace')
| -rw-r--r-- | script/workspace/workspace.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/script/workspace/workspace.lua b/script/workspace/workspace.lua index 6f99891e..ec30c9ea 100644 --- a/script/workspace/workspace.lua +++ b/script/workspace/workspace.lua @@ -403,10 +403,12 @@ end function m.reload() local rpath = require 'workspace.require-path' + local plugin = require 'plugin' files.flushAllLibrary() files.removeAllClosed() files.flushCache() rpath.flush() + plugin.init() await.call(m.awaitPreload) end |