diff src/settings.sml @ 798:83875a9eb9b8

Improvements while working on Graftid
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 May 2009 10:31:11 -0400
parents 7394368a5cad
children 91f465ded07e
line wrap: on
line diff
--- a/src/settings.sml	Thu May 14 09:33:48 2009 -0400
+++ b/src/settings.sml	Thu May 14 10:31:11 2009 -0400
@@ -144,7 +144,11 @@
                           ("onFail", "onFail"),
                           ("onConnectFail", "onConnectFail"),
                           ("onDisconnect", "onDisconnect"),
-                          ("onServerError", "onServerError")]
+                          ("onServerError", "onServerError"),
+                          ("attrifyString", "escape"),
+                          ("attrifyInt", "ts"),
+                          ("attrifyFloat", "ts"),
+                          ("attrifyBool", "bs")]
 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)