diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2022-04-17 04:50:21 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2022-04-17 04:50:21 +0800 |
| commit | 66de37c58ee8cfb336b8f3d17f97d7f05f210f6d (patch) | |
| tree | 5ef5e6615ba9623b260cdeea52413329af65859d /script/vm/manager.lua | |
| parent | a988a48919dd752b04ec692d90e942ba21e9f62f (diff) | |
| download | lua-language-server-66de37c58ee8cfb336b8f3d17f97d7f05f210f6d.zip | |
cleanup
Diffstat (limited to 'script/vm/manager.lua')
| -rw-r--r-- | script/vm/manager.lua | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/script/vm/manager.lua b/script/vm/manager.lua index b5c37c35..c75b777f 100644 --- a/script/vm/manager.lua +++ b/script/vm/manager.lua @@ -1,7 +1,6 @@ local files = require 'files' local globalManager = require 'vm.global-manager' -local localManager = require 'vm.local-manager' ---@alias vm.object parser.object | vm.global | vm.generic @@ -17,7 +16,6 @@ end files.watch(function (ev, uri) if ev == 'update' then globalManager.dropUri(uri) - localManager.dropUri(uri) local state = files.getState(uri) if state then globalManager.compileAst(state.ast) @@ -25,7 +23,6 @@ files.watch(function (ev, uri) end if ev == 'remove' then globalManager.dropUri(uri) - localManager.dropUri(uri) end end) |