# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1478816412 -3600
# Node ID 6adf5d2b8042325decc45e439bf4ff403ee6ff04
# Parent  466d287306b4a17a2d8cc66d86baf82673f6db6c
Encode whitespace characters.

diff -r 466d287306b4 -r 6adf5d2b8042 encoders.py
--- a/encoders.py	Thu Nov 10 18:49:15 2016 +0100
+++ b/encoders.py	Thu Nov 10 23:20:12 2016 +0100
@@ -338,7 +338,7 @@
     if isinstance(value, (int, float)):
         return str(value)
     else:
-        return '"%s"' % str(value).replace('"', '\\"')
+        return '"%s"' % str(value).replace('"', '\\"').replace("\n", "\\n").replace("\t", "\\t").replace("\r", "\\r")
 
 def encode_literal_instantiator(path):