# HG changeset patch
# User Waqas Hussain <waqas20@gmail.com>
# Date 1298080052 -18000
# Node ID 7f119ebcf55f5aa93d659dc32e183d7a6b5fb24c
# Parent  eccd3c87d717139dbbfdb166c9041621c4438cbe
util.json: Fixed a parse error caused by unexpected whitespace.

diff -r eccd3c87d717 -r 7f119ebcf55f util/json.lua
--- a/util/json.lua	Sun Feb 13 22:57:17 2011 +0000
+++ b/util/json.lua	Sat Feb 19 06:47:32 2011 +0500
@@ -268,7 +268,9 @@
 		return tonumber(s);
 	end
 	local function readmember(t)
+		skipstuff();
 		local k = readstring();
+		skipstuff();
 		checkandskip(":");
 		t[k] = readvalue();
 	end