diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2022-02-25 16:32:40 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2022-02-25 16:32:40 +0800 |
| commit | 32dcf712ce2b08a124718c519e43dd327a15d748 (patch) | |
| tree | 06acc3d8c6759516e4cccad881a66b6915e37f80 /script/vm/manager.lua | |
| parent | ee408986c37082c981cb2689d71e4d77d4079a23 (diff) | |
| download | lua-language-server-32dcf712ce2b08a124718c519e43dd327a15d748.zip | |
cleanup
Diffstat (limited to 'script/vm/manager.lua')
| -rw-r--r-- | script/vm/manager.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/script/vm/manager.lua b/script/vm/manager.lua index b80cfb43..2068507f 100644 --- a/script/vm/manager.lua +++ b/script/vm/manager.lua @@ -1,7 +1,7 @@ local files = require 'files' local globalManager = require 'vm.global-manager' -local literalManager = require 'vm.literal-manager' +local localManager = require 'vm.local-manager' ---@class vm.state local m = {} @@ -21,7 +21,7 @@ files.watch(function (ev, uri) end if ev == 'remove' then globalManager.dropUri(uri) - literalManager.dropUri(uri) + localManager.dropUri(uri) end end) |