Fix error in workspace file error reporting

2021-06-08 12:06:54 +02:00 · 2021-06-08 12:06:54 +02:00 · 1ea28eb38b
parent ab9960cddf
commit 1ea28eb38b
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()