diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-11-26 11:57:04 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-11-26 11:57:04 -0500 |
| commit | 99fdcac63e9a5a55a95c31ef569f025d2f25876d (patch) | |
| tree | 797cfeacd60b528213c49c09abf7da63ba136ad8 /src/settings.sml | |
| parent | 4f2c619bb0971153c518f120c8911ce3a94f783d (diff) | |
Fix JavaScript unit unurlification; URL blessing client-side
Diffstat (limited to 'src/settings.sml')
| -rw-r--r-- | src/settings.sml | 5 |
1 files changed, 4 insertions, 1 deletions
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) |