Mercurial > urweb
comparison src/settings.sml @ 1101:b9abd6cded7b
Treat getCookie as effectful
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 29 Dec 2009 16:48:27 -0500 |
parents | 324c9ffe8ff9 |
children | 82ac88b4e0a7 |
comparison
equal
deleted
inserted
replaced
1100:9645e3c2978e | 1101:b9abd6cded7b |
---|---|
78 fun mayClientToServer x = S.member (!clientToServer, x) | 78 fun mayClientToServer x = S.member (!clientToServer, x) |
79 | 79 |
80 val effectfulBase = basis ["dml", | 80 val effectfulBase = basis ["dml", |
81 "nextval", | 81 "nextval", |
82 "setval", | 82 "setval", |
83 "get_cookie", | |
83 "set_cookie", | 84 "set_cookie", |
84 "clear_cookie", | 85 "clear_cookie", |
85 "new_client_source", | 86 "new_client_source", |
86 "get_client_source", | 87 "get_client_source", |
87 "set_client_source", | 88 "set_client_source", |