diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2022-07-26 16:03:57 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2022-07-26 16:03:57 +0800 |
| commit | 4c5b524bfef2591a0293960c26ff18c603243965 (patch) | |
| tree | 2389e5a0c74242f51ea563bd3838e1d0297d2e8f /script/workspace | |
| parent | 3d21c63ec3e330dc717008b37f8fb1fa38d41862 (diff) | |
| download | lua-language-server-4c5b524bfef2591a0293960c26ff18c603243965.zip | |
#1385 normalize uri
Diffstat (limited to 'script/workspace')
| -rw-r--r-- | script/workspace/workspace.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/script/workspace/workspace.lua b/script/workspace/workspace.lua index e4f63c35..11fe0dfa 100644 --- a/script/workspace/workspace.lua +++ b/script/workspace/workspace.lua @@ -45,6 +45,7 @@ end --- 初始化工作区 function m.create(uri) + uri = furi.normalize(uri) log.info('Workspace create: ', uri) if uri == furi.encode '/' or uri == furi.encode(os.getenv 'HOME' or '') then |