util.json: Fixed a parse error caused by unexpected whitespace.

diff --git a/util/json.lua b/util/json.lua
index 40939bb4626f80366c8d037f1f78cff5fa1992d7..05453703369e35f642b11acd61c33f93c5e2a97e 100644 (file)
--- a/util/json.lua
+++ b/util/json.lua
@@ -268,7 +268,9 @@ function json.decode(json)
                return tonumber(s);
        end
        local function readmember(t)
+               skipstuff();
                local k = readstring();
+               skipstuff();
                checkandskip(":");
                t[k] = readvalue();
        end