diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2023-08-11 19:04:34 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2023-08-11 19:04:34 +0800 |
| commit | 1055a8547668308633601a8b67f1a0b52075de3f (patch) | |
| tree | d7b44253f9788a23c9a6ff8a1ced05dd19a71c11 /script/workspace | |
| parent | ed350080cfb3998fa95abb905cfa363f546e70ce (diff) | |
| download | lua-language-server-1055a8547668308633601a8b67f1a0b52075de3f.zip | |
commandline parameter `--force-accept-workspace`
resolve #2159
Diffstat (limited to 'script/workspace')
| -rw-r--r-- | script/workspace/workspace.lua | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/script/workspace/workspace.lua b/script/workspace/workspace.lua index da2f9daf..97518e84 100644 --- a/script/workspace/workspace.lua +++ b/script/workspace/workspace.lua @@ -50,8 +50,10 @@ function m.create(uri) m.folders[#m.folders+1] = scp if uri == furi.encode '/' or uri == furi.encode(os.getenv 'HOME' or '') then - client.showMessage('Error', lang.script('WORKSPACE_NOT_ALLOWED', furi.decode(uri))) - scp:set('bad root', true) + if not FORCE_ACCEPT_WORKSPACE then + client.showMessage('Error', lang.script('WORKSPACE_NOT_ALLOWED', furi.decode(uri))) + scp:set('bad root', true) + end end end |