From 0de429f2205e351ac4ca182aca072e25e09ed33a Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Fri, 26 Nov 2010 11:57:04 -0500
Subject: Fix JavaScript unit unurlification; URL blessing client-side

---
 src/settings.sml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/settings.sml')

diff --git a/src/settings.sml b/src/settings.sml
index b5ba4f9b..7a943217 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -207,7 +207,10 @@ val jsFuncsBase = basisM [("alert", "alert"),
                           ("isspace", "isSpace"),
                           ("isxdigit", "isXdigit"),
                           ("tolower", "toLower"),
-                          ("toupper", "toUpper")]
+                          ("toupper", "toUpper"),
+
+                          ("checkUrl", "checkUrl"),
+                          ("bless", "bless")]
 val jsFuncs = ref jsFuncsBase
 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls
 fun jsFunc x = M.find (!jsFuncs, x)
-- 
cgit v1.2.3