Escape JSON strings correctly in jsondiff.py

diff --git a/scripts/jsondiff.py b/scripts/jsondiff.py
index eef742d3e27f7051a894906b3d0b13564c8864e1..00976cad3c74729b33eecd1a3ba58fae83f8794c 100755 (executable)
--- a/scripts/jsondiff.py
+++ b/scripts/jsondiff.py
@@ -127,7 +127,7 @@ class Dumper(Visitor):
         self._write(']')
 
     def visit_value(self, node):
-        self._write(repr(node))
+        self._write(json.dumps(node))