Fix error in workspace file error reporting

2021-06-08 12:06:54 +02:00 · 2021-06-08 12:06:54 +02:00 · e7d0709828
parent b4896ed69e
commit e7d0709828
1 changed files with 1 additions and 1 deletions
--- a/data/plugins/workspace.lua
+++ b/data/plugins/workspace.lua
@ -12,7 +12,7 @@ local function workspace_files_for(project_dir)
  if not info_wsdir then
    local ok, err = system.mkdir(workspace_dir)
    if not ok then
-      error("cannot create workspace directory: %s", err)
+      error("cannot create workspace directory: \"" .. err .. "\"")
    end
  end
  return coroutine.wrap(function()