diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-05-03 15:38:49 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-03 15:38:49 -0400 |
| commit | e57a588744ec72e443d69d2e47b4a9a199613745 (patch) | |
| tree | 09387818d6f755a3b5eec66ad560cbe707f348dd /src/settings.sml | |
| parent | 92df298250032469bab59565aa4e23a86b4a6e9a (diff) | |
cookieSec demo
Diffstat (limited to 'src/settings.sml')
| -rw-r--r-- | src/settings.sml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/settings.sml b/src/settings.sml index 24971eff..d04720c8 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -77,7 +77,9 @@ val clientToServer = ref clientToServerBase 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", |