Mercurial > urweb
diff src/settings.sml @ 1323:0d8bd8ae8417
Fix JavaScript unit unurlification; URL blessing client-side
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Fri, 26 Nov 2010 11:57:04 -0500 |
parents | 714e8b84221b |
children | 4dd5d23bace2 |
line wrap: on
line diff
--- a/src/settings.sml Sun Nov 21 15:43:24 2010 -0500 +++ b/src/settings.sml Fri Nov 26 11:57:04 2010 -0500 @@ -207,7 +207,10 @@ ("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)