Client-side escaping of HTML should be prepared for structured HTML trees, not just strings (closes #141)

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() }