summaryrefslogtreecommitdiff
path: root/lib/js
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2018-10-19 16:03:57 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2018-10-19 16:03:57 -0400
commit1a4a8b5ab8eb499ee2217c966f7fbb7716adf9e9 (patch)
tree531a9fbee277d0d0430ee4b5b9085cf41856ed53 /lib/js
parentd800556bd50ecb78c21343a288f9475b8b870162 (diff)
Client-side escaping of HTML should be prepared for structured HTML trees, not just strings (closes #141)
Diffstat (limited to 'lib/js')
-rw-r--r--lib/js/urweb.js2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 199f5001..bf20cfd4 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -1439,7 +1439,7 @@ function eh(x) {
if (x == null)
return "NULL";
else
- return x.split("&").join("&amp;").split("<").join("&lt;").split(">").join("&gt;");
+ return flattenLocal(x).split("&").join("&amp;").split("<").join("&lt;").split(">").join("&gt;");
}
function ts(x) { return x.toString() }