revert JSON hack since the unusual utf8 representation is fixed

11 years ago · 957cfdbb1b
parent 1ccba6ce39
commit 957cfdbb1b
1 changed files with 0 additions and 2 deletions
--- a/frontend/JSON.lua
+++ b/frontend/JSON.lua
@ -326,8 +326,6 @@ 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