From b9ccf20d53025714c9de9cc829e9c0c10d9b388c Mon Sep 17 00:00:00 2001
From: jvelilla <javier.hector@gmail.com>
Date: Sun, 13 Jul 2008 03:19:20 +0000
Subject: [PATCH] Add explicit control characters.

---
 json/scanner/json_tokens.e | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/json/scanner/json_tokens.e b/json/scanner/json_tokens.e
index c23e0fc6..02e70fd1 100644
--- a/json/scanner/json_tokens.e
+++ b/json/scanner/json_tokens.e
@@ -44,4 +44,10 @@ feature -- Access
 		    		Result:=<<'%F','%H','%N','%R','%T','%B','/','"'>>
 		    end
 
+   special_controls:ARRAY[CHARACTER] is
+           --Control Characters
+           -- \b\f\n\r\t
+           do
+           		Result:=<<'b','f','n','r','t'>>
+           end
 end