diff options
| author | AlexCai2019 <89138532+AlexCai2019@users.noreply.github.com> | 2022-05-08 01:43:28 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-08 01:43:28 +0800 |
| commit | 0fd83c4ca9f82a02becab6c304a8a7de75098507 (patch) | |
| tree | be9790d9d4823fe728c5b36e94093fe5f42b7725 /script/vm/manager.lua | |
| parent | 89203efad8c9b5513e05ca4d5696107924865b10 (diff) | |
| parent | 67b4c574849d1667e0ecb39c51aeed8e30b43056 (diff) | |
| download | lua-language-server-0fd83c4ca9f82a02becab6c304a8a7de75098507.zip | |
Merge branch 'sumneko:master' into master
Diffstat (limited to 'script/vm/manager.lua')
| -rw-r--r-- | script/vm/manager.lua | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/script/vm/manager.lua b/script/vm/manager.lua deleted file mode 100644 index 58255fca..00000000 --- a/script/vm/manager.lua +++ /dev/null @@ -1,26 +0,0 @@ - -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 - ----@class vm.state -local m = {} - -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) - end - end - if ev == 'remove' then - globalManager.dropUri(uri) - localManager.dropUri(uri) - end -end) - -return m |