fix JSON parser on some rare utf8 representations

This patch is provided by @hchaojie and should fix #252.
11 years ago · c20bc91ba3
parent cd2ee14b91
commit c20bc91ba3
1 changed files with 2 additions and 0 deletions
--- a/frontend/JSON.lua
+++ b/frontend/JSON.lua
@ -326,6 +326,8 @@ local function grok_string(self, text, start, etc)
      elseif text:match('^\\t', i) then
         VALUE = VALUE .. "\t"
         i = i + 2
+      elseif text:match('^\\\\', i) then
+         i = i + 1
      else
         local hex = text:match('^\\u([0123456789aAbBcCdDeEfF][0123456789aAbBcCdDeEfF][0123456789aAbBcCdDeEfF][0123456789aAbBcCdDeEfF])', i)
         if hex then