Mercurial > urweb

diff src/settings.sml @ 779:7394368a5cad

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
cookieSec demo
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 May 2009 15:38:49 -0400
parents c125df6fabfc
children 83875a9eb9b8
line wrap: on
line diff
--- a/src/settings.sml	Sun May 03 15:13:00 2009 -0400
+++ b/src/settings.sml	Sun May 03 15:38:49 2009 -0400
@@ -77,7 +77,9 @@
 fun setClientToServer ls = clientToServer := S.addList (clientToServerBase, ls)
 fun mayClientToServer x = S.member (!clientToServer, x)
 
-val effectfulBase = basis ["set_cookie",
+val effectfulBase = basis ["dml",
+                           "nextval",
+                           "set_cookie",
                            "new_client_source",
                            "get_client_source",
                            "set_client_source",