From 1ea28eb38b3442a79d29922d75a0afcebf254d1a Mon Sep 17 00:00:00 2001 From: Francesco Abbate Date: Tue, 8 Jun 2021 12:06:54 +0200 Subject: [PATCH] Fix error in workspace file error reporting --- data/plugins/workspace.lua | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/data/plugins/workspace.lua b/data/plugins/workspace.lua index 77efd7c9..9c1e20c8 100644 --- 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()