From 1a4a8b5ab8eb499ee2217c966f7fbb7716adf9e9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 19 Oct 2018 16:03:57 -0400
Subject: Client-side escaping of HTML should be prepared for structured HTML
 trees, not just strings (closes #141)

---
 lib/js/urweb.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

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() }
-- 
cgit v1.2.3