From 795b7c535631992d31c6dca691e362611efe1931 Mon Sep 17 00:00:00 2001
From: Jens Maus <mail@jens-maus.de>
Date: Wed, 11 Nov 2020 21:39:59 +0100
Subject: [PATCH] fixed jsstring function to perform proper JSON string char
 escaping. E.g. a ' char doesn't need to be escaped because it produces errors
 in JSON.parse() otherwise. This fixes #16.

---
 VERSION           | 2 +-
 www/config_js.cgi | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/VERSION b/VERSION
index bd8bf88..943f9cb 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.7.0
+1.7.1
diff --git a/www/config_js.cgi b/www/config_js.cgi
index 0a63198..ef116ff 100644
--- a/www/config_js.cgi
+++ b/www/config_js.cgi
@@ -50,11 +50,11 @@ proc jsstring { value } {
   return [string map {
     "\\" "\\"
     "\"" "\\\""
-    "\'" "\\\'"
     "\t" "\\t"
     "\r" "\\r"
     "\n" "\\n"
-    
+    "\b" "\\b"
+    "\f" "\\f"
   } $value]
 }