diff options
Diffstat (limited to 'script/workspace/workspace.lua')
| -rw-r--r-- | script/workspace/workspace.lua | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/script/workspace/workspace.lua b/script/workspace/workspace.lua index 11fe0dfa..973ae9ec 100644 --- a/script/workspace/workspace.lua +++ b/script/workspace/workspace.lua @@ -45,7 +45,9 @@ end --- 初始化工作区 function m.create(uri) - uri = furi.normalize(uri) + if furi.isValid(uri) then + uri = furi.normalize(uri) + end log.info('Workspace create: ', uri) if uri == furi.encode '/' or uri == furi.encode(os.getenv 'HOME' or '') then |