diff options
author | 最萌小汐 <sumneko@hotmail.com> | 2021-07-15 15:31:55 +0800 |
---|---|---|
committer | 最萌小汐 <sumneko@hotmail.com> | 2021-07-15 15:31:55 +0800 |
commit | 5e95551bdc13bade1c24647016786a259d1ab4c9 (patch) | |
tree | 9ff0ad0b0318a940b08d9d84fe1e900e2d78f89a /script/files.lua | |
parent | 0a86f339d0eea44404502ae4cda8022a2ea21f27 (diff) | |
download | lua-language-server-5e95551bdc13bade1c24647016786a259d1ab4c9.zip |
untrust after closing file
Diffstat (limited to 'script/files.lua')
-rw-r--r-- | script/files.lua | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/script/files.lua b/script/files.lua index c0e8f707..f9023ae2 100644 --- a/script/files.lua +++ b/script/files.lua @@ -69,6 +69,10 @@ function m.close(uri) local originUri = uri uri = getUriKey(uri) m.openMap[uri] = nil + local file = m.fileMap[uri] + if file then + file.trusted = false + end m.onWatch('close', originUri) end |